function OverMenu(button_name){
	document.getElementById('menu_'+button_name).src = '/i/d/mn_'+button_name+'_act.gif';
}

function OutMenu(button_name){
	document.getElementById('menu_'+button_name).src = '/i/d/mn_'+button_name+'.gif';
}