// JavaScript Document
function mp_set_date() { 
// Array der Tagesnamen
						var dayNames = new Array("Sonntag","Montag","Dienstag","Mittwoch",
							"Donnerstag","Freitag","Samstag");
										 
// Array der Monats
						var monthNames = new Array(
							"Januar","Februar","März","April","Mai","Juni","Juli",
							"August","September","Oktober","November","Dezember");
										 
						var now = new Date();
						now.setDate(now.getDate());

//						document.write(dayNames[now.getDay()] + ", " +
//							now.getDate() + ". " + 
//							monthNames[now.getMonth()] + " " +
//							now.getFullYear());
						document.write(dayNames[now.getDay()] + ", " +
							now.getDate() + ". " + 
							monthNames[now.getMonth()] + " " +
							now.getFullYear());
//						dat_str = (dayNames[now.getDay()] + ", " +
//							now.getDate() + ". " + 
//							monthNames[now.getMonth()] + " " +
//							now.getFullYear());
}