//show time of client

var Serverzeit = new Date();
function UhrzeitAnzeigen()
{
	if(!document.all && !document.getElementById)
	{
		return;
	}
	var Stunden = Serverzeit.getHours();
	var Minuten = Serverzeit.getMinutes();
	var Sekunden = Serverzeit.getSeconds();
	var Tag = Serverzeit.getDate();
	var Monat = Serverzeit.getMonth();
	var Jahr = Serverzeit.getFullYear();
	var jetzt = new Date();
	var strJahresmonat = jetzt.getMonth();
	var strMonat = new Array("January", "February", "March", "April", "May", "June",
                      "July", "August", "September", "October", "November", "December");
    full_mon = (strMonat[Monat]);
	
	Serverzeit.setSeconds(Sekunden+1);
	if(Stunden<=9)
	{
		Stunden = "0" + Stunden;
	}
	if(Minuten<=9)
	{
		Minuten = "0" + Minuten;
	}
	if(Sekunden<=9)
	{
		Sekunden = "0" + Sekunden;
	}
	Uhrzeitanzeige = Tag + " " + full_mon + " " + Jahr + "  " + Stunden + ":" + Minuten + ":" + Sekunden;
	if(document.getElementById)
	{
		document.getElementById("Uhrzeit").innerHTML = Uhrzeitanzeige
	}
	else if(document.all)
	{
		Uhrzeit.innerHTML = Uhrzeitanzeige;
	}
	setTimeout("UhrzeitAnzeigen()", 1000);
}