function menu_hover(id,hover) {
	
	if (hover) {
		document.getElementById(id).src = document.getElementById(id).src.substr(0,document.getElementById(id).src.length-4)+'_hi.png';
	} else {
		document.getElementById(id).src = document.getElementById(id).src.substr(0,document.getElementById(id).src.length-7)+'.png';
	}
}