/** these scripts are used by older browsers,
	menus will be disabled without crashing **/
if(window.event + "" == "undefined"){event = null;}
function HM_f_PopUp(){return false};
function HM_f_PopDown(){return false};