/*Datum und Uhrzeit*/

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);
}