if (document.images)
{
  menuOptions = new Array();

  menuOptions[1] = new Image();
  menuOptions[1].src = "menuOptions/home_ON.gif";
  menuOptions[2] = new Image();
  menuOptions[2].src = "menuOptions/home_OFF.gif";

  menuOptions[3] = new Image();
  menuOptions[3].src = "menuOptions/about_ON.gif";
  menuOptions[4] = new Image();
  menuOptions[4].src = "menuOptions/about_OFF.gif";

  menuOptions[5] = new Image();
  menuOptions[5].src = "menuOptions/benefits_ON.gif";
  menuOptions[6] = new Image();
  menuOptions[6].src = "menuOptions/benefits_OFF.gif";

  menuOptions[7] = new Image();
  menuOptions[7].src = "menuOptions/biography_ON.gif";
  menuOptions[8] = new Image();
  menuOptions[8].src = "menuOptions/biography_OFF.gif";

  menuOptions[9] = new Image();
  menuOptions[9].src = "menuOptions/classes_ON.gif";
  menuOptions[10] = new Image();
  menuOptions[10].src = "menuOptions/classes_OFF.gif";

  menuOptions[11] = new Image();
  menuOptions[11].src = "menuOptions/history_ON.gif";
  menuOptions[12] = new Image();
  menuOptions[12].src = "menuOptions/history_OFF.gif";

  menuOptions[13] = new Image();
  menuOptions[13].src = "menuOptions/performances_ON.gif";
  menuOptions[14] = new Image();
  menuOptions[14].src = "menuOptions/performances_OFF.gif";

  menuOptions[15] = new Image();
  menuOptions[15].src = "menuOptions/contact_ON.gif";
  menuOptions[16] = new Image();
  menuOptions[16].src = "menuOptions/contact_OFF.gif";
  
  menuOptions[17] = new Image();
  menuOptions[17].src = "menuOptions/links_ON.gif";
  menuOptions[18] = new Image();
  menuOptions[18].src = "menuOptions/links_OFF.gif";

  menuOptions[19] = new Image();
  menuOptions[19].src = "menuOptions/travels_ON.gif";
  menuOptions[20] = new Image();
  menuOptions[20].src = "menuOptions/travels_OFF.gif";
}

function mouseSwap(from,to)
{
  if (document.images)
  {
    document.images[from].src = menuOptions[to].src;
  }
}
function swapImage(imgsrc)
{
  document.getElementById("image").src = imgsrc;
}
function swapImageWidth(imgsrc,imgWidth)
{
  document.getElementById("image").src = imgsrc;
  document.getElementById("image").width = imgWidth;
}