var imgFol = "/cultura/img/biblio/";

// Menu onmouseover
imgArrowRed = new Image();
imgArrowRed.src = imgFol + "arrow_red.gif";

function menuRedOn(pic) {
  document.images[pic].src = imgFol + "arrow_red.gif";
}
function menuOff(pic) {
  document.images[pic].src = imgFol + "dot.gif";
}