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