function img_act(imgName)	{
	document.images[imgName].src = "images/nav_" + imgName + "_on.gif";
}

function img_inact(imgName)	{
	document.images[imgName].src = "images/nav_" + imgName + "_off.gif";
}