;
var lT = new Date()
var ms = lT.getTime();
var OffsetSeconds = server_stamp-Math.round(ms/1000);
var volume = 50

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;";
}
window.setInterval("shTi('theclock', true)",1000);
</script>
