{
  menu1= new Image(); menu1.src = "grafica/top_home_off.gif";
  menu1on = new Image(); menu1on.src = "grafica/top_home_on.gif";
  menu2= new Image(); menu2.src = "grafica/top_email_off.gif";
  menu2on = new Image(); menu2on.src = "grafica/top_email_on.gif";
    
}


function imageChange(imageID,imageName) {

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

}