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