function detect() {
    thispage=window.location.href;
    if (thispage.indexOf('://')<0) {thispage="://"+thispage;};
    prefix=thispage.substring(0,thispage.lastIndexOf('://'));
    suffix=thispage.substring(thispage.lastIndexOf('://')+3,thispage.length);
    indexpage = prefix+"://"+suffix.substring(0,suffix.toLowerCase().lastIndexOf('/html/')) + '/index.html';
    if (top.location.href==window.location.href) {
        top.location.href= indexpage+"?"+prefix+"&&&"+suffix;
    };
  }