// JavaScript Document
// dit document bepaalt de datum en deze zal worden afgedrukt in het web-bestand op de plek waar onderstaand script wordt aangeroepen.

function MakeArray(n) {
	this.length = n
	return this
}
monthNames = new MakeArray(12)
monthNames[1] = "januari"
monthNames[2] = "februari"
monthNames[3] = "maart"
monthNames[4] = "april"
monthNames[5] = "mei"
monthNames[6] = "juni"
monthNames[7] = "juli"
monthNames[8] = "augustus"
monthNames[9] = "september"
monthNames[10] = "oktober"
monthNames[11] = "november"
monthNames[12] = "december"
dayNames = new MakeArray(7)
dayNames[1] = "zondag"
dayNames[2] = "maandag"
dayNames[3] = "dinsdag"
dayNames[4] = "woensdag"
dayNames[5] = "donderdag"
dayNames[6] = "vrijdag"
dayNames[7] = "zaterdag"

function customDateString() {
	currentDate = new Date()
	var theDay = dayNames[currentDate.getDay() + 1]
	var theMonth = monthNames[currentDate.getMonth() + 1]
	msie4 = ((navigator.appName == "Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 4 ));
	if (msie4) {
	    var theYear = currentDate.getYear()
	}
	else {
	     var theYear = currentDate.getYear() +1900
	}
	return theDay + " " + currentDate.getDate() + " " + theMonth + " " + theYear
}