// Javascript Document


var dag = new Array(8); 
dag[1] = "zondag"; 
dag[2] = "maandag"; 
dag[3] = "dinsdag"; 
dag[4] = "woensdag"; 
dag[5] = "donderdag"; 
dag[6] = "vrijdag"; 
dag[7] = "zaterdag"; 


var maand = new Array(13); 
maand[1] = "januari"; 
maand[2] = "februari"; 
maand[3] = "maart"; 
maand[4] = "april"; 
maand[5] = "mei"; 
maand[6] = "juni"; 
maand[7] = "juli"; 
maand[8] = "augustus"; 
maand[9] = "september"; 
maand[10] = "oktober"; 
maand[11] = "november"; 
maand[12] = "december"; 


var dateObj = new Date(document.lastModified) 
var wday = dag[dateObj.getDay() + 1] 
var lmonth = maand[dateObj.getMonth() + 1] 
var date = dateObj.getDate() 
var year = dateObj.getYear() 

if (year < 2000) year = 1900 + year; 
var Hrs = dateObj.getHours() 
var Mins = dateObj.getMinutes() 

if (Mins < 10) { Mins = "0" + Mins; } 
if (Hrs<10) { Hrs = "0" + Hrs; } 


document.write("<br>Laatste wijziging aan deze website : ");

document.write(wday + " " + date + " " + lmonth + " " + year + " om " + Hrs + ":" + Mins)