function y2k(number) {
	return (number < 1000) ? number + 1900 : number;
}


function getDateTimeString(d) {
	var s = d.getDate() + "." + (d.getMonth()+1)+ "." + y2k(d.getYear());

	s += " " + d.getHours() + ":";
	if (d.getMinutes() < 10) {
		s += "0";
	}
	s += d.getMinutes();
	return s;
}

function printLastModified() { 
	var lastmod = document.lastModified;    // String mit dem Aenderungsdatum holen
	var lastmoddate = Date.parse(lastmod);  // String nach Date konvertieren
	var moddate = new Date();

	if (lastmoddate) {  // ungueltiges Datum (oder 1. Januar 1970 GMT)
		if (lastmod.indexOf("/") == -1)
			moddate = new Date(lastmod);
		else {  // workaround fuer MS IE
			var datetimearr = lastmod.split(" ");      // in Datum und Uhrzeit zerlegen
			var datearr = datetimearr[0].split("/");   // in Monat, Tag und Jahr zerlegen


			if (datearr[2] < 70)
				moddate = new Date(datearr[0]+"/"+datearr[1]+"/20"+datearr[2]+" "+datetimearr[1]);
			else
				moddate = new Date(lastmod);
		} // end workaround
		document.write(getDateTimeString(moddate));
	}
}