function Reload() {
  if (top.location.href == location.href) {
    location.href = location.href.substring(0, location.href.lastIndexOf("/")+1) +
    "index.html" + "#" +
    location.href.substring(location.href.lastIndexOf("/")+1, location.href.length); }
}