// display current date (numeric format)
function displayNumDate() {
	var now = new Date();
	var day = now.getDate();
	var month = now.getMonth()+1;
	var year = now.getYear();
	if (year < 2000) year = year + 1900; // netscape y2k bug
	var zero  = ((day < 10) ? "0" : "");
	var point  = ((month < 10) ? ".0" : ".");
	document.write(zero + day + point + month + "." + year);
}

// display current date (text format)
function displayDate() {
	var now = new Date();
	var day = now.getDate();
	var index = now.getMonth();
	var year = now.getYear();
	if (year < 2000) year = year + 1900; // netscape y2k bug
	var zero  = ((day < 10) ? "0" : "");
	var month = new Array("Januar","Februar","M&auml;rz","April","Mai","Juni",
		"Juli","August","September","Oktober","November","Dezember");
	document.write(zero + day + ". " + month[index] + " " + year);
}