function imgOver(imgName) {
				var leftnav=document.getElementById('LeftNav');
				leftnav.src = "images/LeftNav" + imgName + ".gif";
			}

			function imgOut() {
				var leftnav=document.getElementById('LeftNav');
				leftnav.src = "images/LeftNav.gif";
			}