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