if (Date.parse(document.lastModified) != 0)
document.write
("Last Modified: " + document.lastModified);
else document.write ("Date of last modification unavailable");