function clock() {
	var digital = new Date();
	var weekday = new Array(7);
	weekday[0]="ZONDAG";
	weekday[1]="MAANDAG";
	weekday[2]="DINSDAG";
	weekday[3]="WOENSDAG";
	weekday[4]="DONDERDAG";
	weekday[5]="VRIJDAG";
	weekday[6]="ZATERDAG";
	
	var hours = digital.getHours();
	var minutes = digital.getMinutes();
	var seconds = digital.getSeconds();
	var day_of_week = digital.getDay();
	var day = digital.getDate();
	var month = digital.getMonth()+1;
	var year = digital.getFullYear();

	if (hours <= 9)   hours = "0" + hours;
	if (minutes <= 9) minutes = "0" + minutes;
	if (seconds <= 9) seconds = "0" + seconds;
	if (day <= 9)     day = "0" + day;
	if (month <= 9)   month = "0" + month;

	dispTime = weekday[day_of_week]+" "+day+"-"+month+"-"+year+" | "+hours + ":" + minutes + ":" + seconds;
	document.getElementById("pendule").innerHTML = dispTime;
	setTimeout("clock()", 1000);
}