function str_right(str,len) {
		return str.substr(str.length-len,len);
}

function str_left(str,len) {
	return str.substr(0,len);
}

function LetzteAktualisierung() {
	var timestamp = new Date(Date.parse(document.lastModified));
	document.write("<font size=-1>letzte Aktualisierung: " 
		+ str_right("00"+timestamp.getDate(),2)
		+ "." + str_right("00"+(timestamp.getMonth()+1),2)
		+ "." + timestamp.getFullYear()
		+ " " + str_right("00"+timestamp.getHours(),2)
		+ ":" + str_right("00"+timestamp.getMinutes(),2)
		+ ":" + str_right("00"+timestamp.getSeconds(),2)
		+ "</font>"
	);
}