function nav2highlight(elementid,show)
	{
	document.getElementById(elementid).style.backgroundImage = show;
	document.getElementById(elementid).style.backgroundRepeat = "no-repeat";
	}