// This is the "Revised" date stamp inserted at the end of all pages //

var MonthArray = new Array('januari','februari','maart','april','mei','juni','juli','augustus','september','oktober','november','december')
var DocDate = new Date(document.lastModified)
    Year = DocDate.getYear()
var Y = new String(Year)

        if(Y.length==3) {
				if ((Year - 100) < 10) {
				   Y = "200" + (Year - 100)}
				else {
				   Y = "20" + (Year - 100)}
				}
		if (Y.length==2) {
			Y = "19" + Y}

document.write("Laatste wijziging: ")
document.write(DocDate.getDate())
document.write(" ")
document.write(MonthArray[DocDate.getMonth()])
document.write(" ")
document.write(Y)