// js functie om datum te tonen
function WriteDate() {
	var objDatum = new Date();
	
	// year
	var intYear = objDatum.getYear();
	if (intYear < 2000) { 
			intYear += (intYear < 1900) ? 1900 : 0;
	}	
	// month
	var intMonth = objDatum.getMonth();
	var arrMonths = new Array("januari","februari","maart","april","mei","juni","juli","augustus","september","oktober","november","december");
	// day
	var intDayM = objDatum.getDate();
	if (intDayM < 10) {
		intDayM = "0"+intDayM;
	}
	// time
	var intHours;
	var intMins;
	var intTime;
	intHours = objDatum.getHours();
	intMins = objDatum.getMinutes();
	if (intMins<10) { intMins = '0'+intMins; }
	
	var strReturnDate = intDayM+" "+arrMonths[intMonth]+"  "+intYear+", "+intHours+":"+intMins;
	
	document.getElementById('jsDatum').innerHTML = strReturnDate;
	setTimeout("WriteDate()", 1000);
}