if (navigator.appVersion.substring(0,1) >= "4")
  {
  if (top.location.href == window.location.href)
    {    
    var indexpath="/";           /* hier kann man z.B. /maehlmann/ eingeben. */
    var hostname = location.protocol + "//" + location.host;
    var filename = location.pathname.replace(indexpath,"");
    var path = "?daten=" + filename;
    window.location.href = hostname + indexpath +"index2.htm"+ path;
    }
  }