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