// return the last date the file was modified
if (Date.parse(document.lastModified)!=0) document.write("<i>"+ document.lastModified +"</i>");