function zeit() {
    var uhrzeit = new Date();
    var stunde = uhrzeit.getHours();
    var minute = uhrzeit.getMinutes();
    if(minute>=0 && minute<=9)
      minute = "0"+minute;
    with(document) {
     open("text/html")
     write(stunde + ":" + minute + " Uhr");
     close()
    }
  }

  function datum() {
    var heute = new Date();
    var jahr = heute.getYear();
    var monat = heute.getMonth()+1;
    var tag = heute.getDate();
    monatsname = new Array("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");
    if(jahr<2000) jahr=jahr+1900;

    with(document) {
     open("text/html")
     write(tag + ". " + monatsname[monat-1] + " " + jahr);
     close()
    }
  }