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