function makemenu(){
 document.write("<a href='index.html'><img alt='' src='images/button_home.gif' border='0' onmouseout=\"this.src='images/button_home.gif'\" onmouseover=\"this.src='images/button_home_over.gif'\"/></a>");
 document.write("<a href='menus.pdf' target='_blank'><img alt='' src='images/button_menu.gif' border='0' onmouseout=\"this.src='images/button_menu.gif'\" onmouseover=\"this.src='images/button_menu_over.gif'\"/></a>");
 document.write("<a href='location.html'><img alt='' src='images/button_location.gif' border='0' onmouseout=\"this.src='images/button_location.gif'\" onmouseover=\"this.src='images/button_location_over.gif'\"/></a>");
 }
 makemenu();