function fncActualizar(){
var f = document.forms['fomulario'];
var empresa1 = document.getElementById("espec").value;
};

function ordena(){
items=document.getElementById("espec").options;
opciones=new Array();
for(a=0;a<items.length;a++)
opciones[a]=new Array( items[a].text, items[a].value);
opciones.sort();
for(a=0;a<items.length;a++) { //sobrescribimos las opciones originales a las ordenadas
items[a].text=opciones[a][0];
items[a].value=opciones[a][1];
}
};