<!--

    document.write('<div id="menulocation">');

    document.write('<div id="menu">');
    document.write('<ul id="nav">');
//    document.write('<li id="home" class="activelink"><a href="#">Home</a></li>');
    document.write('<li id="about"><a href="BlueStarAboutUs.pdf" target="_blank" title="About Us">about us</a></li>');
    document.write('<li id="prod"><a href="BlueStarProducts.pdf" target="_blank" title="Our lubrication products">our products</a></li>');
//    document.write('<li id="serv"><a href="#">Services</a></li>');
    document.write('<li id="cont"><a href="contact.html" rel="gb_page_center[440, 380]" title="Contact Us">contact us</a></li>');
    document.write('</ul>');
    document.write('</div>');

    document.write('</div>');

// -->

