function clock() {
if (!document.layers && !document.all) return;
var digital = new Date();
var jours = new Array (7);
jours[1]="Maandag";
jours[2]="Dinsdag";
jours[3]="Woensdag";
jours[4]="Donderdag";
jours[5]="Vrijdag";
jours[6]="Zaterdag";
jours[7]="Zondag";
var day = jours[digital.getDay()]
var date = digital.getDate();
var months=new Array(13);
months[1]="Januari";
months[2]="Februari";
months[3]="Maart";
months[4]="April";
months[5]="Mei";
months[6]="Juni";
months[7]="Juli";
months[8]="Augustus";
months[9]="September";
months[10]="Oktober";
months[11]="November";
months[12]="December";
var lmonth=months[digital.getMonth() + 1];
var year = digital.getYear();
if (year < 2000)
year = year + 1900;
var hours = digital.getHours();
var minutes = digital.getMinutes();
var seconds = digital.getSeconds();
if (minutes <= 9) minutes = "0" + minutes;
if (seconds <= 9) seconds = "0" + seconds;
dispTime = day + " " + date + " " + lmonth + " " + year + " - " + hours + " : " + minutes + " : " + seconds;
if (document.layers) {
document.layers.pendule.document.write(dispTime);
document.layers.pendule.document.close();
}
else
if (document.all)
pendule.innerHTML = dispTime;
setTimeout("clock()", 1000);
}