if (document.images) {
  var activado = new Array();
  var desactivado = new Array();
  for (i=0; i<=8; i++) {
    activado["menu"+i] = new Image();
    desactivado["menu"+i] = new Image();
    activado["menu"+i].src = "../img/menus/menu"+i+"a.png";
    desactivado["menu"+i].src = "../img/menus/menu"+i+".png";
  }
}
function act(nombreImagen) {
  if (document.images)
    document[nombreImagen].src=activado[nombreImagen].src;
}
function desact(nombreImagen) {
  if (document.images)
    document[nombreImagen].src=desactivado[nombreImagen].src;
}