function highlight(id,src)
			{
				var imgsrc = "/_Images/nav/" + src + ".gif";				
				document.getElementById(id).src = imgsrc;
}