if (top.location != location) {
top.location = "index.html";}