docmod= new Date(document.lastModified);
document.write('<P STYLE="text-align: right; font-size: x-small; font-style: oblique">')
document.write("Last modified: " + docmod.toLocaleString());
document.write ('</P>');