is_moz = (navigator.userAgent.indexOf('Gecko')!=-1) ? 1 : 0;

function add_handl(el, ev, f) {
	if(el.addEventListener){el.addEventListener(ev, f, false)}
	else if(el.attachEvent){el.attachEvent('on'+ev, f)}
}

function jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}