// Formatted last-modified date
if (Date.parse(document.lastModified) != 0) {
  var modiDate = new Date(document.lastModified);
  var modiYear = modiDate.getYear();
  modiYear = (modiYear < 2000) ? modiYear + 1900 : modiYear;
  var monthName = new Array("Januari", "Februari", "Maart", "April", "Mei", 
   "Juni", "Juli", "Augustus", "September", "Oktober", "November", "December");
  document.write("<div align='right' class='changed'>Laatst gewijzigd: " + modiDate.getDate() + " "+ monthName[modiDate.getMonth()] + " " + modiYear + "</div>");
  }
// Jim Dettwiler  http://www.icehouse.net/jim_d/