{
  menu1= new Image(); menu1.src = "grafica/ita1_off.gif";
  menu1on = new Image(); menu1on.src = "grafica/ita1_on.gif";

  menu2= new Image(); menu2.src = "grafica/eng2_off.gif";
  menu2on = new Image(); menu2on.src = "grafica/eng2_on.gif";

  menu3= new Image(); menu3.src = "grafica/eng3_off.gif";
  menu3on = new Image(); menu3on.src = "grafica/eng3_on.gif";

  menu4= new Image(); menu4.src = "grafica/ita4_off.gif";
  menu4on = new Image(); menu4on.src = "grafica/ita4_on.gif";
  
}

function imageChange(imageID,imageName) {

  {
   document.images[imageID].src = eval(imageName + ".src");
  }

}