function erstdatum()
{
  Datum = new Date(document.lastModified);
  Jahr = "" + Datum.getYear();
  // document.write(Jahr);
  Monate = new  Array ("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "November", "Dezember");
  if (Jahr.length>3)
    Jahr = " 20" + Jahr.substr(2,2);
  else
    Jahr = " 20" + Jahr.substr(1,2);
  // document.write(Jahr);
  return (Datum.getDate() + ". " + Monate[Datum.getMonth()] + Jahr);
}