// JavaScript Menu
document.write("<div id=\"menu\">");
document.write("<ul><li><a href=\"products.html\" title=\"Linpus Products\">Products</a></li>");        
document.write("<li><a href=\"support.html\"  title=\"Linpus Support\">Support</a></li>");
//document.write("<li><a href=\"downloads.html\"  title=\"Linpus Downloads\">Downloads</a></li>");
document.write("<li><a href=\"news.html\"  title=\"Linpus News&Events\">News & Events</a></li>");
document.write("<li><a href=\"aboutus.html\"  title=\"About Linpus\">About Us</a></li></ul></div>");