if (top.location.href.indexOf("index.html") == -1)
  top.location.href = "index.html";