function beginHover(i) {
	document.getElementById("mnu_" + i).src=document.getElementById("mnu_" + i).src.replace(".gif", "_h.gif");
}

function endHover(i) {
	document.getElementById("mnu_" + i).src=document.getElementById("mnu_" + i).src.replace("_h.gif", ".gif");
}