function kopfzeil () {
  jetzt=new Date();
  startzeit=jetzt.getTime();
  stoppeuhr();
  zeigezeit();
  startBanner();
  Navigation();
}

function Navigation()
// Oeffnet ein Navigationsfenster
  {
  Navigation = window.open("./navigat.htm","Navigation","dependent=no,status=0,screenX=240,screenY=305,height=200,width=425");
  Navigation.blur();
            /*
  window.self.blur();
  HomePage.focus();
  Navigation.focus();
            */
  }

function startBanner() {
stopBanner()
showBanner()
}

var geschw = 20
var pause = 1000
var timerID = null
var bannerAn = false
var ar = new Array()
ar[0] = "Guten Tag :=)"
ar[1] = "Was Sie hier lesen,"
ar[2] = "ist ein Beispiel für Lauftexte"
ar[3] = "auch auf Ihren WWW-Seiten"
ar[4] = "in der Statuszeile Ihres Browsers!"
var currentMessage = 0
var offset = 0

function stopBanner() {
if (bannerAn)
        clearTimeout(timerID)
bannerAn = false
}

function showBanner() {
var text = ar[currentMessage]
if (offset < text.length) {
        if (text.charAt(offset) == " ")
                offset++
        var partialMessage = text.substring(0, offset + 1)
        window.status = partialMessage
        offset++
        timerID = setTimeout("showBanner()", geschw)
        bannerAn = true
} else {
        offset = 0
        currentMessage++
        if (currentMessage == ar.length)
                currentMessage = 0
        timerID = setTimeout("showBanner()", pause)
        bannerAn = true
}
}

function zeigezeit () {
  var jetzt=new Date();
  var stunden=jetzt.getHours();
  var minuten=jetzt.getMinutes();
  var sekunden=jetzt.getSeconds();
  var zeitwert;
  var diffzeit=(jetzt.getTime()-startzeit)/1000;
//        zeitwert=((stunden>12) ? stunden -12 : stunden)
  zeitwert=((stunden < 10) ? "0" : "") + stunden
  zeitwert+=((minuten < 10) ? ":0" : ":") + minuten
  zeitwert+=((sekunden < 10) ? ":0" : ":") + sekunden
//        zeitwert+=(stunden >= 12) ? " pm" : " am"
  document.zeitform.uhrzeit.value=zeitwert;
  sekunden=Math.round(diffzeit % 60);
  diffzeit=Math.round(diffzeit/60)
  minuten=Math.round(diffzeit % 60);
  diffzeit=Math.round(diffzeit/60)
  stunden=Math.round(diffzeit);
  zeitwert=((stunden < 10) ? "0" : "") + stunden
  zeitwert+=((minuten < 10) ? ":0" : ":") + minuten
  zeitwert+=((sekunden < 10) ? ":0" : ":") + sekunden
  document.zeitform.diffzeit.value=zeitwert;
  //window.status=zeitwert;
  uhrid=setTimeout("zeigezeit()",1000);
  uhrlaeuft=true;
}

function stoppeuhr (){
  if(uhrlaeuft) clearTimeout(uhrid);
  uhrlaeuft=false;
}

var uhrid=null;
var uhrlaeuft=false;
var id,pause=0,position=0;
var startzeit;

function Browsertest (){
         // MSIE Browser ?
           if (navigator.userAgent.indexOf("MSIE") != -1)
           {// MSIE
           "this.style.backgroundImage = '../Grafiken/hintergr.gif';"
           document.write("Microsoft Internet Explorer.");
           }
           else
           {// kein MSIE
           "this.style.backgroundImage = './Grafiken/hintergr.gif';"
           document.write("Dies ist der " + "Netscape Navigator.");
           }
}