function changeImages(theImg, newState)
{
	document.images[theImg].src = ("images/nav/" + theImg + "_" + newState + ".gif");
}