function MakeArray(n) {this.length = n; return this;}
today = new Date();
var Days = new MakeArray(7);
var Months = new MakeArray(12);
Days[1]="Zondag";
Days[2]="Maandag";
Days[3]="Dinsdag";
Days[4]="Woensdag";
Days[5]="Donderdag";
Days[6]="Vrijdag";
Days[7]="Zaterdag";
Months[1]="Januari";
Months[2]="Februari";
Months[3]="Maart";
Months[4]="April";
Months[5]="Mei";
Months[6]="Juni";
Months[7]="Juli";
Months[8]="Augustus";
Months[9]="September";
Months[10]="Oktober";
Months[11]="November";
Months[12]="December";
  msie_ok=true
  if( (navigator.appName=="Microsoft Internet Explorer") && (navigator.appVersion.substring(0,1) < "4" ) )
    { msie_ok=false }
  function getNiceDate(theDate) {
  if( msie_ok ) {
    return Days[theDate.getDay()+1] + ", " + theDate.getDate() + " " +
    Months[theDate.getMonth()+1] + " " + theDate.getYear(); }
  else
    { return "" }
  }