lastmoddate = new Date()
lastmoddate.setTime(
		Date.parse(document.lastModified))
if (lastmoddate >0) {
	var year = lastmoddate.getFullYear()
	var month = lastmoddate.getMonth()+1
	var day = lastmoddate.getDate()
	document.writeln( year +
				((month<10)? "-0" : "-") + month +
				((day<10) ? "-0" : "-") + day +".")
}