function irA(menu){
      window.location.href = menu.options[menu.selectedIndex].value;
    }