<!--

maand = new Array("januari", "februari", "maart", "april", "mei", "juni", "juli", "augustus", "september", "oktober", "november", "december");
dag = new Array("zondag", "maandag", "dinsdag", "woensdag", "donderdag", "vrijdag", "zaterdag");

function datumtijd ()
{
	var today = new Date();
	var dayfull = today.getDay();
	var month = today.getMonth();
	var day = today.getDate();
	var year = today.getFullYear();
	var hours = today.getHours();
	var mins = today.getMinutes();
	var secs = today.getSeconds();
	var s= " "
	
	if (mins<10)
	{
		mins = "0" + mins;
	}
	if (secs<10)
	{
		secs = "0" + secs;
	}

	klok = dag[dayfull] + s + day + s + maand[month] + s + year + s + hours + ":" + mins;

	var clocklocation = document.getElementById('digitalclock');
	clocklocation.innerHTML = klok;

	/*setTimeout("datumtijd()", 30000);*/
}


//-->