// Carga las imágenes del menu
var listaimagenesMenu = new Array("quienes.gif", "quienes2.gif", "bquienes.gif", "fotoquienes.jpg",
                                  "nuestros.gif", "nuestros2.gif", "bnuestros.gif", "fotonuestros.jpg", 
                                  "donde.gif", "donde2.gif", "bdonde.gif", "fotodonde.jpg",
                                  "direcc.gif", "direcc2.gif", "bdirecc.gif", "fotodirecc.jpg",
                                  "bturismo.gif", "bturismo2.gif")
var imagenesMenu = new Array;

for (i in listaimagenesMenu)
  {imagenesMenu[i] = new Image()
   imagenesMenu[i].src = "images/"+listaimagenesMenu[i]
  }                              
                                
function cambiaImagen (imagen, indice)
  {imagen.src = imagenesMenu[indice].src;
  }