// Dr. Thomas Meinike - thomas@handmadecode.de
// StyleAssistant-Homepage von Dr. Thomas Meinike
// Modifiziert von Reiner Maiwald (maiwald@leona-ev.de), Jan 2001

// Datum und Uhrzeit der letzten Änderung
// Das JavaScript-Objekt 'document' besitzt die Eigenschaft
// 'lastModified', die sich einfach abfragen lässt. Damit kann man
// die letzte Änderung eines HTML-Dokuments feststellen und muss diese
// Angabe nicht von Hand einfügen. Leider geben die beiden grossen Browser
// kein einheitliches Format für Datum und Uhrzeit zurück. Der Internet
// Explorer 5 liefert: MM/TT/JJJJ HH:MM:SS, während sein "Kollege"
// Netscape 4.6 Wochentag, Monat TT, JJJJ HH:MM:SS ausgibt. Dagegen
// erhält man im Internet Explorer 4 sowie in Netscape 3.0x bzw. 4.0x
// MM/TT/JJ HH:MM:SS. Dieses JavaScript
// nimmt den jeweils erhaltenen String so auseinander, dass im Ergebnis eine
// einheitliche Formatierung nach dem Schema TT.MM.JJJJ - HH:MM:SS entsteht.
// Diese wird dann mittels 'document.write'direkt in das Dokument eingefügt.

// Nachtrag (24.12.1999): Browser, die nur zweistellige Jahreszahlen
// zurück geben, haben offenbar ein "Y2K-Problem". Damit das Script
// ab Januar 2000 keine Jahreszahlen ab 1900 ausgibt, wurde
// diese erweitert. Ausgehend davon, dass es kaum Webseiten mit einem Datum
// < 1990 geben dürfte, werden alle Jahreszahlen >=90 als 19|90..99
// interpretiert und alle anderen, also 00..89, als 20|00..89. Somit sollte
// es auf lange Sicht keine Schwierigkeiten geben.

// Modifiziert von Reiner Maiwald, Dec 2002:
// Script um Datumsformat von Opera 6 ergänzt

  var DateTime=document.lastModified;
  var Datum=document.lastModified;
  var Zeit, Tag, Monat, Jahr, JJ19, JJ20, ZeitPos, MonatPos, MonatStr;

  if ((DateTime.substring(2,3)=="/") && (DateTime.substring(10,11)!=" "))
  // Format MM/TT/JJ HH:MM:SS (IE 4, NS 3.0x, 4.0x)
  {
    JJ19="19", JJ20="20";
    Monat=DateTime.substring(0,2);
    Tag=DateTime.substring(3,5);
    if (parseInt(DateTime.substring(6,8))>=90)
    {
      Jahr=JJ19+DateTime.substring(6,8);
    }
    else
    {
      Jahr=JJ20+DateTime.substring(6,8);
    }
    Zeit=DateTime.substring(9,17);
    Datum=Tag+"."+Monat+"."+Jahr;
  }

  if ((DateTime.substring(2,3)=="/") && (DateTime.substring(10,11)==" "))
  // Format MM/TT/JJJJ HH:MM:SS (IE 5)
  {
    Monat=DateTime.substring(0,2);
    Tag=DateTime.substring(3,5);
    Jahr=DateTime.substring(6,10);
    Zeit=DateTime.substring(11,19);
    Datum=Tag+"."+Monat+"."+Jahr;
  }

  if ((DateTime.substring(2,3)!="/"))
  // Format Wochentag, Monat TT, JJJJ HH:MM:SS (NS 4.6)
  //   oder Wochentag, TT Monat JJJJ HH:MM:SS ZZZ (Opera 6)
  {
    ZeitPos=DateTime.lastIndexOf(" ");
    if (ZeitPos>DateTime.length-9)
    {
    // Format Wochentag, TT Monat JJJJ HH:MM:SS ZZZ
      ZeitPos-=9;
      MonatPos=DateTime.indexOf(" ");
      Zeit=DateTime.substring(ZeitPos+1,ZeitPos+9);
      Jahr=DateTime.substring(ZeitPos-4,ZeitPos);
      Tag=DateTime.substring(MonatPos+1,MonatPos+3);
      MonatStr=DateTime.substring(MonatPos+4,ZeitPos-5);
    }
    else
    {
    // Format Wochentag, Monat TT, JJJJ HH:MM:SS
      MonatPos=DateTime.indexOf(" ");
      Zeit=DateTime.substring(ZeitPos+1,ZeitPos+9);
      Jahr=DateTime.substring(ZeitPos-4,ZeitPos);
      Tag=DateTime.substring(ZeitPos-8,ZeitPos-6);
      MonatStr=DateTime.substring(MonatPos+1,ZeitPos-9);
    }

    if (MonatStr=="January" || MonatStr=="Jan") {Monat="01";}
    if (MonatStr=="February" || MonatStr=="Feb") {Monat="02";}
    if (MonatStr=="March" || MonatStr=="Mar") {Monat="03";}
    if (MonatStr=="April" || MonatStr=="Apr") {Monat="04";}
    if (MonatStr=="May") {Monat="05";}
    if (MonatStr=="June" || MonatStr=="Jun") {Monat="06";}
    if (MonatStr=="July" || MonatStr=="Jul") {Monat="07";}
    if (MonatStr=="August" || MonatStr=="Aug") {Monat="08";}
    if (MonatStr=="September" || MonatStr=="Sep") {Monat="09";}
    if (MonatStr=="October" || MonatStr=="Oct") {Monat="10";}
    if (MonatStr=="November" || MonatStr=="Nov") {Monat="11";}
    if (MonatStr=="December" || MonatStr=="Dec") {Monat="12";}
    Datum=Tag+"."+Monat+"."+Jahr;
  }

  document.write(Datum+", "+Zeit);