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