if(Date.parse(document.lastModified) != 0)
   document.write('<span class="footer"><hr>'
                  + 'Rev. 5.0 '
                  + '<br>Last modified: '
                  + document.lastModified
                  + '<br>© 1986-2005: Minze Stuiver and Paula Reimer</span>');