document.write('<SCRIPT language="javascript" src="menus.js"></SCRIPT>')