document.write('<a href="index.html">944 World Home</a>');
document.write('   |   <a href="history.html">History</a>');
document.write('   |   <a href="maintenance.html">Maintenance</a>');
document.write('   |   <a href="letters.html">Letters</a>');
document.write('   |   <a href="links.html">Links</a>');