function on(navipoint)	{
	document.images[navipoint].src="img/nav_over.gif";	}
	
function off(navipoint)	{
	document.images[navipoint].src="img/spacer.gif";	}

function hlite(imgname,newimg)	{
	document.images[imgname].src=newimg;	}