// fortlaufende Uhrzeit
      WoTa =
      new Array("So","Mo","Di","Mi","Do","Fr","Sa");
      function shTi() {
      var ti = new Date();
      var Tag = ti.getDate();
      var Monat = ti.getMonth() + 1;
      var Jahr = ti.getFullYear();
      var Stunden = ti.getHours();
      var Minuten = ti.getMinutes();
      var Sekunden = ti.getSeconds();
      var WoTag = ti.getDay();
      var pjah  = ((Jahr < 10) ? "0" : "");
      var ptag  = ((Tag < 10) ? "0" : "");
      var pmon  = ((Monat < 10) ? ".0" : ".");
      var pstd  = ((Stunden < 10) ? "0" : "");
      var pmin  = ((Minuten < 10) ? ":0" : ":");
      var psek  = ((Sekunden < 10) ? ":0" : ":");
      var Datum = ptag + Tag + pmon + Monat  + "." + pjah + Jahr;
      var Uhrzeit = pstd + Stunden + pmin + Minuten + psek + Sekunden;
      document.getElementById("Uhr").innerHTML = Datum +  "&nbsp;&nbsp;" + Uhrzeit;
      window.setTimeout("shTi()",1000); }
      window.setTimeout("shTi()",1000);