// JavaScript Document
/* Tonen van datum */
maanden = new Array(12);
maanden[0] = 'janvier';
maanden[1] = 'fevrier';
maanden[2] = 'mars';
maanden[3] = 'avril';
maanden[4] = 'mai';
maanden[5] = 'juin';
maanden[6] = 'juillet';
maanden[7] = 'aout';
maanden[8] = 'septembre';
maanden[9] = 'octobre';
maanden[10] = 'novembre';
maanden[11] = 'decembre';

dagen = new Array(7);
dagen[0] = 'Dimanche';
dagen[1] = 'Lundi';
dagen[2] = 'Mardi';
dagen[3] = 'Mercredi';
dagen[4] = 'Jeudi';
dagen[5] = 'Vendredi';
dagen[6] = 'Samedi';

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;
}
function maakJaar(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 = jaar;
return datumstring;
}