/*  Javascript Library   */
      /*  Stand 15.11.2007     */
      

  	 
  	/* Berechnung des Textstrings aus dem Änderungsdatum  */
  	
  	var Tagtext = "";
        var Datumstring = ""; 
        
  	/*var moddatum = new Date("April 1, 2006 22:48:00");   Auslesen des Modifizierungsdatums */
  	var moddatum = new Date(document.lastModified);  /* Auslesen des Modifizierungsdatums */
  	 
  	/*  Aus der Nummer des Wochentags den eigentlichen Text erzeugen */
  	var TagInWoche = moddatum.getDay();
  	var Wochentag = new Array("SONNTAG", "Montag", "Dienstag", "Mittwoch","Donnerstag", "Freitag", "Samstag"); 
  	 
  	/* Bei Datumstagen unter 10 eine "Null" davor stellen  */
 	var Tag = moddatum.getDate();  
 	if  (Tag < 10)  { Tagtext = "0"+ Tag;} else Tagtext=Tag;
 	   
 	/* Aus der Monatszahl den Monatstext erzeugen */
 	var MonatZahl = moddatum.getMonth() + 1; 
 	var Monat = new Array("Januar", "Februar", "März", "April", "Mai", "Juni", "Juli", "August", "September", "Oktober", "NOVEMBER", "Dezember");
 	  
 	var Jahr = moddatum.getFullYear() - 2000;
 	if  (Jahr < 10)  { Jahrtext = "0"+ Jahr;} else Jahrtext=Jahr;
 	  
 	/* Den Datumsstring zusammensetzen   */
 	Datumstring = "STAND   "+Tagtext+ "/"+MonatZahl+"/"+Jahrtext;    
 
 
 
  	/* Den String ausgeben */
  	function Datumsauagabe() {
  	document.writeln (" " + Datumstring  + " ");
  	  }