<!--
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 < 1000) jaar+=1900;
	
	var datumstring = datum.getDate() + ' ' + maand + ' ' + jaar ;
	return datumstring;
}


//-->