function serverclock() {
	Sekunde++;
	if(Sekunde > 59) {
		Minute = Minute + 1;
		Sekunde = 0;
	}
	if(Minute > 59) {
		Stunde = Stunde + 1;
		Minute = 0;
		Sekunde = 0;
	}
	if(Stunde > 23) {
		Stunde = 0;
		Minute = 0;
		Sekunde = 0;
	}
	var Stunden = Stunde;
	var Minuten = Minute;
	var Sekunden = Sekunde;
	if(Stunden < 10)
		Stunden = "0"+Stunden;
	if(Minuten < 10)
		Minuten = "0"+Minuten;
	if(Sekunden < 10)
		Sekunden = "0"+Sekunden;
	if(document.getElementById('clock') != null)
		document.getElementById('clock').innerHTML = Stunden+':'+Minuten+':'+Sekunden;
}

var Stunde = 4;
var Minute = 3;
var Sekunde = 51;
setInterval("serverclock()", 1000);