if(Date.parse(document.lastModified) != 0)
   document.write('<p><hr><small><i>Last modified: '
                  + document.lastModified
                  + '</i></small>');