;
var lT = new Date()
var ms = lT.getTime();
var OffsetSeconds = server_stamp-Math.round(ms/1000);
function shTi(ClockTag, AddOffset) {
if (AddOffset==true) {
   var lT = new Date()
   var ms = lT.getTime();
   ms += OffsetSeconds * 1000;
   var ti = new Date(ms)
     } else {
       var ti = new Date()
     }
     var Tag = ti.getDate();
     var Monat = ti.getMonth() + 1;
     var Jahr = ti.getYear();
     if (Jahr < 1900) Jahr = Jahr + 1900;
     var Stunden = ti.getHours();
     var Minuten = ti.getMinutes();
     var Sekunden = ti.getSeconds();
     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 Uhrzeit = pstd + Stunden + pmin + Minuten + psek + Sekunden + " <b>&#183;</b> " +Tag + "." + Monat + "." + Jahr;
     document.getElementById(ClockTag).innerHTML = Uhrzeit + "&nbsp;&nbsp;";
     }
     window.setInterval("shTi('theclock', true)",1000);
</script>
                                                                                                                                                                                                            
