// writes the footer information to the bottom of a file
document.writeln('<div id="footer">')
document.writeln('<hr width="80%" /><p class="footer">Last modified on '+document.lastModified+'<br />')
document.writeln('Page maintained by Nick Howe</p>')
document.writeln('</div>')