var sorgente, nome;
function animaIn(id)
{   sorgente=id.split("/");
    nome=sorgente[sorgente.length-1];
    document.getElementById(nome.slice(0,nome.length-5)).src=id.slice(0,id.length-5)+"2.png";
}

function animaOut(id)
{   sorgente=id.split("/");
    nome=sorgente[sorgente.length-1];
    document.getElementById(nome.slice(0,nome.length-5)).src=id.slice(0,id.length-5)+"1.png";
}