if (top.location.href != location.href)
  top.location.href = location.href;