// JavaScript Document
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.getFullYear();
var datumstring = dag + ' ' + datum.getDate() + ' ' + maand + ' ' + jaar;
return datumstring;
}