// JavaScript Document

function swap_menu1(id,b){	
  document.getElementById(id).src='images/'+b+'_hover.gif';
}
function swap_menu2(id,b){	
  document.getElementById(id).src='images/'+b+'.gif';
}