function lightup(imgName)
{
	document.images[imgName].src= "images/nav/" + imgName + "_h.gif";
}

function turnoff(imgName)
{
	document.images[imgName].src= "images/nav/" + imgName + ".gif";
}