var isMSIE = navigator.appName.indexOf("Microsoft") != -1;
var isNetscape = navigator.appName.indexOf("Netscape") != -1;
var is4 = parseInt(navigator.appVersion) >= 4;
var isOK = (isMSIE || isNetscape) && is4;
if (isOK) {
	var datum = new Date(document.lastModified);
	var dag = datum.getDate();
	if (dag < 10) {
		dag = "0" + dag;
	}
	var maand = datum.getMonth() + 1;
	if (maand < 10) {
		maand = "0" + maand;
	}
	var jaar = datum.getFullYear();
	var laatst = dag + "." + maand + "." + jaar;
	document.open();
	document.write ('<span class="copyright">');
	document.write ("Laatst aangepast op " + laatst + ".");
	document.write ("</span><br>");
	document.close();
}