function swapMenuItemHover( menu ) { 
  menuItem = menu + '_menu';
  document.getElementById(menuItem).src = '/images/menu/' + menu + '_over.png';
}

function swapMenuItemDefault( menu ) { 
  menuItem = menu + '_menu';
  document.getElementById(menuItem).src = '/images/menu/' + menu + '.png';
}