function UpdateClock() {
   ourTime = ourTime + 1000;
   d.setTime(ourTime);
   min  = d.getMinutes();
   hour = d.getHours();
   sec  = d.getSeconds();
   if (min<10) {min="0"+min}
   if (sec<10) {sec="0"+sec}
   day  = d.getDate();
   mon  = d.getMonth(); mon += 1;
   year = d.getYear();  if (year<1000) { year += 1900; }
   if (day<10) {day="0"+day}
   if (mon<10) {mon="0"+mon}
//   place.innerHTML= "Offizielle Uhrzeit: " + day + '.' + mon + '.' + year + ' - ' + hour + ":" + min + ":" + sec + " Uhr";
   place.innerHTML= "Uhrzeit: " + hour + ":" + min + ":" + sec;

   clockID = setTimeout("UpdateClock()", 1000);
}

function StartClock() {
   place = (document.all)?document.all.clock:document.getElementById("clock");
   clockID = setTimeout("UpdateClock()", 500);
   d=new Date();
}