if(HM_IsMenu) {
	document.write("<SCRIPT LANGUAGE='JavaScript1.2' SRC='lib/HM_Script"+ HM_BrowserString +".js' TYPE='text/javascript'><\/SCRIPT>");
}