function clock()
{
// if (!document.layers && !document.all) return;
var digital = new Date();
var hours = digital.getHours();
var minutes = digital.getMinutes();
var seconds = digital.getSeconds();
var amOrPm = "";
if (hours > 11) amOrPm = "";
if (hours == 0) hours = 12;
if (minutes <= 9) minutes = "0" + minutes;
if (seconds <= 9) seconds = "0" + seconds;
dispTime = hours + ":" + minutes + ":" + seconds + " Uhr" + amOrPm;
document.getElementById('uhr').innerHTML=dispTime;
window.setTimeout('clock()', 1000);
}