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