{

  menu1= new Image(); menu1.src = "immagini/home_off.gif";
  menu1on = new Image(); menu1on.src = "immagini/home_on.gif";

  menu2= new Image(); menu2.src = "immagini/stamp_off.gif";
  menu2on = new Image(); menu2on.src = "immagini/stamp_on.gif";

  menu3= new Image(); menu3.src = "immagini/email_off.gif";
  menu3on = new Image(); menu3on.src = "immagini/email_on.gif";


  
}

function imageChange(imageID,imageName) {

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

}