<!-- start of JavaScript

function TweeCijfer(getal)
{
  if (getal<10)
    return '0'+getal;
  else
    return ''+getal
}

function maakDatum(datum)
{
   var dag = dagen[datum.getDay()];
   var maand = maanden[datum.getMonth()];
   var datumstring = dag + ' ' + datum.getDate() + ' '  + maand;
   return datumstring;
}


   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';

// end of JavaScript -->