function blockError(){return true;}
//window.onerror = blockError;

var weekday  = new Array(
	"Sonntag",
	"Montag",
	"Dienstag",
	"Mittwoch",
	"Donnerstag",
	"Freitag",
	"Samstag"
);
var month = new Array(
	"Januar",		"Februar",
	"März",			"April",
	"Mai",			"Juni",
	"Juli",			"August",
	"September",	"Oktober",
	"November",		"Dezember"
);

function print_date () {
	var d = new Date();
	document.write(
		"<nobr>"
		+ weekday[d.getDay()]
		+ " "
		+  d.getDate()
		+ ". "
		+ month[d.getMonth()]
		+ " "
		+ d.getFullYear()
		+ "</nobr>"
	);
}