la condizione e' cosi'
l' onclick cambialo in onchangecodice:if(document.nuovo.menu!=undefined && ((!f.menu.disabled && f.menu.value == "") || (!f.menu_sel.disabled && f.menu_sel.value == ""))){
con i gestori di evento non serve specificare javascript:
ciao