function hoverImage(img_id, hover)
{
	var theImg;
	theImg = document.getElementById(img_id);
	if (hover)
		theImg.src = './images/mn_' + img_id + '_hover.gif';
	else
		theImg.src = './images/mn_' + img_id + '.gif';
}