function vai(target,formulario,restore){
  eval(target+".location='"+formulario.options[formulario.selectedIndex].value+"'");
}