maanden = new Array(12);
maanden[0] = 'januari';
maanden[1] = 'februari';
maanden[2] = 'maart';
maanden[3] = 'april';
maanden[4] = 'mei';
maanden[5] = 'juni';
maanden[6] = 'juli';
maanden[7] = 'augustus';
maanden[8] = 'september';
maanden[9] = 'oktober';
maanden[10] = 'november';
maanden[11] = 'december';
 
dagen = new Array(7);
dagen[0] = 'zondag';
dagen[1] = 'maandag';
dagen[2] = 'dinsdag';
dagen[3] = 'woensdag';
dagen[4] = 'donderdag';
dagen[5] = 'vrijdag';
dagen[6] = 'zaterdag';
 
function maakDatum(datum)
{
	var dag = dagen[datum.getDay()];
	var maand = maanden[datum.getMonth()];
	var jaar = datum.getYear();
	if (jaar < 100) {jaar = jaar + 2000};
	if (jaar < 2000) {jaar = jaar + 1900};
	var datumstring = dag + ' ' + datum.getDate() + ' ' + maand + ' ' + jaar;
	return datumstring;
}