function swapMenuImage(newImageFile)
{
  document.images['menuImage'].src = newImageFile;
}