function mouseOver(id_foto,a)
{
document.getElementById(id_foto).src="images/"+a+".jpg";
}
function mouseOut(id_foto,a)
{
document.getElementById(id_foto).src="images/"+a+".jpg";
}