function menu () {
	document.write ("<script type='text/javascript' language='JavaScript1.2' src='menu/menu.js'></script>");
}