function GeefDatumDocument()
{ datum = new Date(document.lastModified)
  dag   = datum.getDate()
  maand = datum.getMonth() + 1
  jaar  = datum.getYear() % 100 + 2000

  if (maand == 1) maandnaam  = " januari "
  if (maand == 2) maandnaam  = " februari "
  if (maand == 3) maandnaam  = " maart "
  if (maand == 4) maandnaam  = " april "
  if (maand == 5) maandnaam  = " mei "
  if (maand == 6) maandnaam  = " juni "
  if (maand == 7) maandnaam  = " juli "
  if (maand == 8) maandnaam  = " augustus "
  if (maand == 9) maandnaam  = " september "
  if (maand == 10) maandnaam = " oktober "
  if (maand == 11) maandnaam = " november "
  if (maand == 12) maandnaam = " december "

  return("Laatst bijgewerkt: " + dag + maandnaam + jaar + ".")
}