var MOZ2 = (navigator.userAgent.indexOf("Mozilla/2") != -1);
var MOZ3 = (navigator.userAgent.indexOf("Mozilla/3") != -1);
var MOZ4 = (navigator.userAgent.indexOf("Mozilla/4") != -1);
var MOZ5 = (navigator.userAgent.indexOf("Mozilla/5") != -1);

var OP   = (navigator.userAgent.indexOf("Opera") != -1);
var OP3  = (navigator.userAgent.indexOf("Opera/3") != -1) && MOZ3;
var OP35 = (navigator.userAgent.indexOf("Opera/3") != -1) && MOZ4;
var OP36 = (navigator.userAgent.indexOf("Opera 3") != -1) && MOZ4;
var OP4  = (navigator.userAgent.indexOf("Opera 4") != -1) ||
           (navigator.userAgent.indexOf("Opera/4") != -1);
var OP5  = (navigator.userAgent.indexOf("Opera 5") != -1) ||
           (navigator.userAgent.indexOf("Opera/5") != -1);

var IE   = (navigator.userAgent.indexOf("MSIE") != -1) && !OP;
var IE3  = navigator.userAgent.indexOf("MSIE 3") != -1;
var IE4  = navigator.userAgent.indexOf("MSIE 4") != -1;
var IE50 = navigator.userAgent.indexOf("MSIE 5.0") != -1;
var IE55 = navigator.userAgent.indexOf("MSIE 5.5") != -1;

var NN   = (navigator.appName == "Netscape") && !OP;
var NN2  = NN && MOZ2;
var NN3  = NN && MOZ3;
var NN4  = NN && MOZ4;
var NN6  = NN && MOZ5;

function initArray() {
this.length = initArray.arguments.length;
for (var i = 0; i < this.length; i++)
this[i+1] = initArray.arguments[i]
}

var dagArray = new initArray("zondag","maandag", "dinsdag","woensdag","donderdag","vrijdag","zaterdag");

var maandArray = new initArray("januari","februari","maart","april","mei","juni","juli", "augustus","september","oktober","november","december");

function DatumWeergave(datum) 
{
var minuut = datum.getMinutes();
var uur = datum.getHours();
var weekdag = datum.getDay() + 1;
var dag = datum.getDate();
var maand = datum.getMonth() + 1;
var jaar = datum.getYear();
if (jaar < 70) {
var jaar4 = (jaar + 2000);
}
else {
var jaar4 = ((jaar < 1900) ? (jaar + 1900) : (jaar));
}
var datumwaarde = dagArray[weekdag] + " " + dag + " " + maandArray[maand] + " " + jaar4 + " om " + uur + ":" + ( (minuut < 10) ? "0"+minuut : minuut);
return datumwaarde
}

if (!NN2 && !IE3 && !OP3) 
{
var gewijzigd = new Date(document.lastModified);
var wijzigdatum = "Deze pagina is voor het laatst gewijzigd op " + DatumWeergave(gewijzigd) + " uur.<br>";

document.write(wijzigdatum);
}