var dagen = new
Array("Sun","Mon","Tue","Wed",
"Thu","Fri","Sat");
var maanden = new
Array("Jan","Feb","Mrt","Apr",
"May","Jun","Jul","Aug",
"Sep","Oct","Nov","Dec");
var lm = new Date(document.lastModified);
var datum = lm.getDate();
var dag = dagen[ lm.getDay()];
var maand = maanden[lm.getMonth()];
var jaar = lm.getYear();
jaar1=jaar.toString();
jaar3=jaar1.length;
jaar2=jaar1.substr((jaar3-2),4);
document.write('<CENTER><TABLE WIDTH=500><TR><TD class="C"><CENTER><I>' + "Updated: "+ " " +dag + " "+ datum + " " + maand + " 20" + jaar2 +'</I></CENTER></TD></TR></TABLE></CENTER>');
// end hide-->