// JavaScript Document
document.write("<script type='text/javascript' src='includemen.js'> </script>");
document.write("<script type='text/javascript' src='menus.js'> </script>");