if (top.location.href!=document.location.href) {top.location.href=document.location.href}