imgFol = "/ggo/img/";

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

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