// JScript source code
function doClock()
{
    if((!document.all && !document.getElementById) || !Serverzeit)
    {
        return;
    }

	var Tag = Serverzeit.getDate(); if(Tag<10) Tag="0" + Tag;
	var Monat = Serverzeit.getMonth()+1; if(Monat<10) Monat="0" + Monat;
	var Monatsname=Monatsnamen[Serverzeit.getMonth()];
	var Jahr=Serverzeit.getFullYear();
	var Wochentag = Tage[Serverzeit.getDay()];
	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 = Wochentag + " " + Tag + ". " + Monatsname + " " + Jahr + " " + Stunden + ":" + Minuten + ":" + Sekunden;

    if(document.getElementById)
    {
        document.getElementById("fsServertime").innerHTML = Uhrzeitanzeige
    }
    else if(document.all)
    {
        fsServertime.innerHTML = Uhrzeitanzeige;
    }

    setTimeout("doClock()", 1000);
}

function fsScrollTo(id) 
{
	document.getElementById(id).scrollIntoView();
}