function clock(){
	x = new Date();
	var maandnaam = new Array("january", "february", "march", "april", "may", "june", "july", "august", "september", "october", "november", "december");
	var dagnaam = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");

	var uren = x.getHours();
	var uren2 = ((uren < 10) ? "0" : "") + uren;
	var minuten = x.getMinutes();
	var minuten2 = ((minuten < 10) ? ":0" : ":") + minuten;
	var seconden = x.getSeconds();
	var seconden2 = ((seconden < 10) ? ":0" : ":") + seconden;

	
	var time = document.getElementById("time");
	time.innerHTML = dagnaam[x.getDay()] + " " + x.getDate() + " " + maandnaam[x.getMonth()] + " " + x.getFullYear() + " " + uren2 + minuten2 + seconden2;
	setTimeout("clock()", 1000);
}