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