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 output = weekdays[weekday] + ", " + day0 + day + month0 + 
   				month + "." + year;
   document.getElementById(id_name).innerHTML = output;
   window.setTimeout("show_clock('" + id_name + "')", 1000);
}