if (self != top) {
  if (document.images)
    top.location.replace(window.location.href);
  else
    top.location.href = window.location.href;
}