function setImg(i)
{
document.getElementById(i).src= "IMG/" + i + "Gray.png";
}

function resetImg(i)
{
document.getElementById(i).src= "IMG/" + i + ".png";
}