{

  menu1= new Image(); menu1.src = "../images/tasto_01_off.gif";
  menu1on = new Image(); menu1on.src = "../images/tasto_01_on.gif";  

  menu2= new Image(); menu2.src = "../images/tasto_02_off.gif";
  menu2on = new Image(); menu2on.src = "../images/tasto_02_on.gif";  

  menu3= new Image(); menu3.src = "../images/tasto_03_off.gif";
  menu3on = new Image(); menu3on.src = "../images/tasto_03_on.gif";  

}

function imageChange(imageID,imageName) {

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

}