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( ((day<10) ? "0" : "") + day +
				((month<10)? "-0" : "-") + month +
				 "-"+year+"." )
	document.writeln( "URL: "+document.URL+".")
}