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("Detta dokument ändrades"
+ " senast " + year +
((month < 10) ? "-0" : "-") + month +
((day   < 10) ? "-0" : "-") + day + ".")
}