function hardReload() {
 location.reload()
}
// print
function printWindow(){
   bV = parseInt(navigator.appVersion)
   if (bV >= 4) window.print()
}

var correct_datum=Date.parse(document.lastModified)+0
  // (vul hierboven i.p.v. 0 bijv. 3600000 in om de tijd een uur vooruit te zetten)
   var datum=new Date()
   datum.setTime(correct_datum)   
   
   var dag=datum.getDate()
   if (datum.getMonth()==0) {
        var maand="januari";
   }
   if (datum.getMonth()==1) {
        var maand="februari";
   }
   if (datum.getMonth()==2) {
        var maand="maart";
   }
   if (datum.getMonth()==3) {
        var maand="april";
   }
   if (datum.getMonth()==4) {
        var maand="mei";
   }
   if (datum.getMonth()==5) {
        var maand="juni";
   }
   if (datum.getMonth()==6) {
        var maand="juli";
   }
   if (datum.getMonth()==7) {
        var maand="augustus";
   }
   if (datum.getMonth()==8) {
        var maand="september";
   }
   if (datum.getMonth()==9) {
        var maand="oktober";
   }
   if (datum.getMonth()==10) {
        var maand="november";
   }
   if (datum.getMonth()==11) {
        var maand="december";
   }
   
   var jaar=datum.getYear()
   if (jaar<='1900') {
        jaar=jaar+1900;
      } else {
        jaar=jaar;
   }
   if (datum.getMinutes()<10) {
        h_minuten="0";
      } else {
        h_minuten="";
   }
  
var dagnummer = datum.getDay()
var dagnaam = ''
if (dagnummer == 0) {dagnaam = "zondag"}
if (dagnummer == 1) {dagnaam = "maandag"}
if (dagnummer == 2) {dagnaam = "dinsdag"}
if (dagnummer == 3) {dagnaam = "woensdag"}
if (dagnummer == 4) {dagnaam = "donderdag"}
if (dagnummer == 5) {dagnaam = "vrijdag"}
if (dagnummer == 6) {dagnaam = "zaterdag"}

datum ==  (dagnaam + " " + dag + " " + maand + " " + jaar+ " ");