function LaatstGewijzigd()
{

  var gewijzigd = new Date(document.lastModified);
  var jaar = gewijzigd.getYear();
  var jaar4 = ((jaar < 80) ? (jaar + 2000) : ((jaar < 1900) ? (jaar + 1900) : (jaar)));
  var maand = "";

  switch (gewijzigd.getMonth())
  {
    case 00 : maand = "januari"; break;
    case 01 : maand = "februari"; break;
    case 02 : maand = "maart"; break;
    case 03 : maand = "april"; break;
    case 04 : maand = "mei"; break;
    case 05 : maand = "juni"; break;
    case 06 : maand = "juli"; break;
    case 07 : maand = "augustus"; break;
    case 08 : maand = "september"; break;
    case 09 : maand = "oktober"; break;
    case 10 : maand = "november"; break;
    case 11 : maand = "december";
  }
  document.write("<pre></pre>");
  document.write("<p><small>Deze pagina is op " + gewijzigd.getDate() + " " + maand + " " + jaar4 + " voor het laatst gewijzigd.</small></p>");

}

LaatstGewijzigd();