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