function zeit(id_name1,id_name2) {
   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 output1 = weekdays[weekday] + ", " + day0 + day + month0 + 
                 month + "." + year; 
   var output2 = hours0 + hours + 
                 minutes0 + minutes + seconds0 + seconds + 
                 " Uhr";
   document.getElementById(id_name2).innerHTML = output1;				 			 	             
   document.getElementById(id_name1).innerHTML = output2;
   window.setTimeout("zeit('" + id_name1 + "','" + id_name2 + "')", 1000);
}                    //"zeit('time','date')"