<!-- Toon de datum van de laatste wijziging -->

var DatumStr, year, month, day

function getDayZ2(Datum)         // Toegevoegd 2003-01-22
  {
  if (Datum.getDate() < 10)
    {return 0+''+Datum.getDate()}
  else
    {return Datum.getDate()}
  };

function getMonthZ2(Datum)       // Toegevoegd 2003-01-22
  {
  if (Datum.getMonth() < 9)
    {return 0+''+(Datum.getMonth()+1)}
  else
    {return Datum.getMonth()+1}
  };

function modified(tekst)
  {
  var dt = new Date(document.lastModified);

  year = dt.getYear();
  if (year < 1000)	         // Tweecijferige uitvoer
    {
    if (year < 70)	         // Y2K-test
      {year = 2000 + year}
    else
      {year = 1900 + year};
    }
  month = getMonthZ2(dt);
  day = getDayZ2(dt);

  DatumStr = year + '-' + month + '-' + day;
  document.write(tekst + DatumStr.italics("Bijgewerkt: "));
  };