function fade1(nom, num)
{
  document.getElementById(nom).style.backgroundColor = "";
  document.getElementById(num).src="img/img013.gif";
} 
function fade2(nom, num)
{
  document.getElementById(num).src="img/img014.gif";
  document.getElementById(nom).style.backgroundColor = "#FFffFF";
}