function hover_on(menu) {
	
	document.getElementById('menu_'+menu).src = "images/menu_"+menu+"_over.png";

}

function hover_off(menu) {

	document.getElementById('menu_'+menu).src = "images/menu_"+menu+".png";
	
}