// JavaScript Document
var Serverzeit = new Date(<?php echo$Javascriptzeit; ?>);
 
function UhrzeitAnzeigen()
{
    if(!document.all && !document.getElementById)
    {
        return;
    }
 
    var Stunden = Serverzeit.getHours();
    var Minuten = Serverzeit.getMinutes();
    var Sekunden = Serverzeit.getSeconds();
    Serverzeit.setSeconds(Sekunden+1);
 
    if(Stunden <= 9)
    {
        Stunden = "0" + Stunden;
    }
 
    if(Minuten <= 9)
    {
        Minuten = "0" + Minuten;
    }
 
    if(Sekunden <= 9)
    {
        Sekunden = "0" + Sekunden;
    }
 
    Uhrzeitanzeige = Stunden + ":" + Minuten + ":" + Sekunden;
 
   if(document.getElementById)
    {
        document.getElementById("Uhrzeit").innerHTML = Uhrzeitanzeige
   }
    else if(document.all)
    {
        Uhrzeit.innerHTML = Uhrzeitanzeige;
   }

    setTimeout("UhrzeitAnzeigen()", 1000);
}
//-->