function lastmodified() {
var defaultDate = "01/03/2006";
var lm = document.lastModified

if (Date.parse(lm) == 0) {
lm = defaultDate
}
document.write("Last modified: " + lm + " CET")
}