function act(number) { document.getElementById("boton"+number).src = "img/boton"+number+"b.gif"; }
    function nor(number) { document.getElementById("boton"+number).src = "img/boton"+number+"a.gif"; }
    function sel(number) { document.getElementById("boton"+number).src = "img/boton"+number+"c.gif"; }