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