function show_clock (id_name)
     {
	var weekdays = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
	var now = new Date();
        var day = now.getDate ();
        var month = now.getMonth ()+1;
        var year = now.getFullYear ();
	var weekday = now.getDay ();
        var hours = now.getHours ();
        var minutes = now.getMinutes ();
        var seconds = now.getSeconds ();
	var day0 = ((day < 10) ? "0" : "");
	var month0 = ((month < 10) ? ".0" : ".");
	var hours0 = ((hours < 10) ? "0" : "");
	var minutes0 = ((minutes < 10) ? ".0" : ":");
	var seconds0 = ((seconds < 10) ? ".0" : ":");
	var output = weekdays[weekday] + ", " + day0 + day + month0 + 
		     month + "." + year + ", " + hours0 + hours +
		     minutes0 + minutes + seconds0 + seconds + " Uhr";
	document.getElementById(id_name).innerHTML = output;
        window.setTimeout ("show_clock('" + id_name + "')",1000);
     }