if (top!=self) {
  if (typeof(location.replace)!='undefined') {
    top.location.replace(self.location.href) 
  }
  else top.location.href=self.location.href;
}