var nav = navigator
browserIE = ((nav.appName == "Microsoft Internet Explorer") && (parseInt(nav.appVersion) >= 4 ))
browserNS1 = ((nav.appName == "Netscape") && (parseInt(nav.appVersion) < 5 ) ) // Netscape < 4.7
browserNS2 = ((nav.appName == "Netscape") && (parseInt(nav.appVersion) >= 5 ) )// Netscape >= 6

// Precarga de imágenes ----------------------------------------
var i;
var imagenes = new Array("images/menu/eng/dondeComer.gif","images/menu/eng/dondeComerBis.gif","images/menu/eng/baresypubs.gif","images/menu/eng/baresypubsBis.gif","images/menu/eng/dondeDormir.gif","images/menu/eng/dondeDormirBis.gif","images/menu/eng/irdecompras.gif","images/menu/eng/irdecomprasBis.gif","images/menu/eng/actividades.gif","images/menu/eng/actividadesBis.gif","images/serv/iconRutas.gif","images/serv/iconRutasBis.gif","images/serv/iconDirTurismo.gif","images/serv/iconDirTurismoBis.gif","images/serv/iconPatronato.gif","images/serv/iconPatronatoBis.gif");
var lista_imagenes = new Array();
function cargarimagenes(){
for(i in imagenes){
lista_imagenes[i] = new Image();
lista_imagenes[i].src = imagenes[i];
}
}

function cambio(nombre,index){
    if ((browserIE)||(browserNS2)){
            document.images[nombre].src = lista_imagenes[parseInt(index)].src;
    }
    else if (browserNS1){
            document.layers["capa"].document.images[nombre].src = lista_imagenes[parseInt(index)].src;
    }
}