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