/* SSIGNORE
 Ignorieren dieser Datei beim Aufruf der Suchfunktion */

function printDate() {
	jetzt = new Date();
	TagInWoche = jetzt.getDay();
	Tag = jetzt.getDate();
	var Wochentag = new 
	Array("Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag");
	Jahresmonat = jetzt.getMonth();
	var Monat = new 
	Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");
	Jahr = jetzt.getYear();
	if(Jahr < 500) Jahr+=1900;
	
	document.write(Wochentag[TagInWoche] + ", " + Tag + ". ");
	document.write(Monat[Jahresmonat] + " ");
	document.write(Jahr);
}