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