<!--
if(top.location != document.location.href) {
    top.location = document.location.href;}
// -->