function sopra1(numeroriga){document.getElementById("riga" + numeroriga).style.background = "#f9f8dc";}
 	    function via1(numeroriga){document.getElementById("riga" + numeroriga).style.background = "#ffffff";}