// JavaScript Document
if (top==self) self.location.href = "../index.html"

maanden = new Array(12);
maanden[0] = 'Januar';
maanden[1] = 'Februar';
maanden[2] = 'März';
maanden[3] = 'April';
maanden[4] = 'Mai';
maanden[5] = 'Juni';
maanden[6] = 'Juli';
maanden[7] = 'August';
maanden[8] = 'September';
maanden[9] = 'Oktober';
maanden[10] = 'November';
maanden[11] = 'Dezember';

dagen = new Array(7);
dagen[0] = 'sunday';
dagen[1] = 'monday';
dagen[2] = 'tuesday';
dagen[3] = 'wednesday';
dagen[4] = 'thursday';
dagen[5] = 'friday';
dagen[6] = 'saturday';

function maakDatum()
{
var datum=new Date((new Date()).getTime()-(60 * 60 * 24 * 1000));
var maand = maanden[datum.getMonth()];
var jaar = datum.getYear();
if (jaar < 100) {jaar = jaar + 2000};
if (jaar < 2000) {jaar = jaar + 1900};
var datumstring = datum.getDate() + ' ' + maand + ' ' + jaar;
return datumstring;
}


function MM_reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.MM_pgW=innerWidth; document.MM_pgH=innerHeight; onresize=MM_reloadPage; }}
  else if (innerWidth!=document.MM_pgW || innerHeight!=document.MM_pgH) location.reload();
}
MM_reloadPage(true);