{

  menu1= new Image(); menu1.src = "../images/tasto_01.gif";
  menu1on = new Image(); menu1on.src = "../images/tasto_01_roll.gif";  

  menu2= new Image(); menu2.src = "../images/tasto_02.gif";
  menu2on = new Image(); menu2on.src = "../images/tasto_02_roll.gif";  

  menu3= new Image(); menu3.src = "../images/tasto_03.gif";
  menu3on = new Image(); menu3on.src = "../images/tasto_03_roll.gif";  

  menu4= new Image(); menu4.src = "../images/tasto_04.gif";
  menu4on = new Image(); menu4on.src = "../images/tasto_04_roll.gif";  

}

function imageChange(imageID,imageName) {

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

}