function datum () {
	var Jetzt		= new Date();
      var Tag		= Jetzt.getDate();
      var Monat		= Jetzt.getMonth() + 1;
      var Jahr		= Jetzt.getYear();
	var Tag_Text	= new Array("Sonntag","Montag","Dienstag","Mittwoch","Donnerstag","Freitag","Samstag");
	var Monat_Text	= new Array("Januar","Februar","März","April","Mai","Juni","Juli","August","September","Oktober","November","Dezember");

      if (Jahr < 2000) {
		Jahr = Jahr + 1900;
	}

	document.write(Tag_Text[Jetzt.getDay()] + ", ");
      if (Tag < 10) document.write("0");
      document.write(Tag + ". ");
//    if (Monat< 10) document.write("0");
      document.write(Monat_Text[Jetzt.getMonth()] + " " + Jahr);
}