function laatste_update() {
    var dd = new Date(document.lastModified);
    document.write(dd.getDate() + "/" + (dd.getMonth()+1) + "/")

    n = dd.getYear();
    if (n < 10) {
	document.write("200" + n );
    }
    else {
	if (n < 100) {
		if (n < 70) {
			document.write("19" + n );
		}
		else {
			document.write("20" + n );
		}
	}
	else {
		if (n < 1900) {
			document.write(1900 + n)
		}
		else {
			document.write(n)
		}
	}
    }
    document.write();
}