function DigitalTime()
{
if(!document.layers && !document.all)
return

var months=new Array(13);
months[1]="Januar";
months[2]="Februar";
months[3]="März";
months[4]="April";
months[5]="Mai";
months[6]="Juni";
months[7]="Juli";
months[8]="August";
months[9]="September";
months[10]="Oktober";
months[11]="November";
months[12]="Dezember";
var time=new Date();
var lmonth=months[time.getMonth() + 1];
var date=time.getDate();
var year=time.getYear();
if (date <=9) date = date
if(year < 999) year+=1900;
digdate = date + ". " + lmonth + " " + year;

var hours = time.getHours();
var minutes = time.getMinutes();
var seconds = time.getSeconds();
if (hours <= 9)
hours = "0" + hours;
if (minutes <= 9)
minutes = "0" + minutes;
if (seconds <= 9)
seconds = "0" + seconds;
digclock = hours + ":" + minutes + ":" + seconds;
if (document.layers)
{
document.layers.liveclock.document.write(digclock);
document.layers.liveclock.document.close();
document.layers.livedate.document.write(digdate);
document.layers.livedate.document.close();

}
else if (document.all)
{
liveclock.innerHTML = digclock;
livedate.innerHTML = digdate;
}
setTimeout("DigitalTime()",1000)
}