function umleitung() {
  if ((!document.frame) && (location.href.substr(0,8)!="file:///")) {
    var p = location.pathname;
    var i = p.lastIndexOf("/");
    
    if (i > -1) {
      if (i == p.length-1) {
        var f = 'home.htm';
      }
      else {
        var f = p.substr(i+1,p.length-i);
      }
      if (f != "") {
        location.href="frame.php?doc="+f;
      }
    }
  }
}