  <!--  

if (top.location != location) {top.location.href = window.location.href} // whole window
  //-->