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