document.write('<ul>')
document.write('<li id="menu_first"><a href="index.html"><b>Home</b></a></li>')
document.write('<li><a href="installation.html"><b>Installation</b></a></li>')
document.write('<li><a href="documentation.html"><b>Documentation</b></a></li>')
document.write('<li><a href="download.html"><b>Download</b></a></li>')
document.write('<li><a href="references.html"><b>References</b></a></li>')
document.write('<li id="menu_last">')
document.write('<a href="contact.html"><b>Contact Us</b></a>')
document.write('</li></ul>')