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