if (Date.parse(document.lastmodified) != 0)
    document.write('<p><hr><small><em>Last Modified: '
    + document.lastModified
    + '<\/em><\/small><\/hr><\/p>')