function displaymenu()
{
document.write("<center><div class='gray_barlinks'><a href='/home'>Home</a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href='/who_we_are'>About Us</a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href='/product_series'>Our Family of Products</a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href='/installations'>Recent Installations</a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href='/faq'>FAQ</a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href='/contact_us'>Contact Us</a>&nbsp;&nbsp;|&nbsp;&nbsp;<a href='/testimonials'>Testimonials</a></div></center>");}