if (top.location != document.location) top.location = document.location;