document.write("<a href='index.html'><style='menu'> - Home </a>")
document.write("<a href='help_howto_use.html'><style='menu'> - How to use it </a>")
document.write("<a href='help_howto_get_it.html'><style='menu'> - How to get it </a>")
document.write("<a href='help_howto_contribute.html'><style='menu'> - How to contribute </a>")
document.write("<a href='about_raid-monitor.html'><style='menu'> - About this project </a>") 
document.write("<a href='about_the_developers.html'><style='menu'> - About the developers </a>")
document.write("<a href='contact_us.html'><style='menu'> - Contact us -</a>")