function activateHover( element ) {
			var imgId = element.id + "-img";
			//alert("Setting src of " + imgId + " to images/" + element.id + "-hover.gif" );
			document.getElementById(imgId).src = ("images/" + element.id + "-hover.gif");
		}
		function deactivateHover( element ) {
			var imgId = element.id + "-img";
			document.getElementById(imgId).src = ("images/" + element.id + ".gif");
			//element.firstChild.src = ("images/" + element.firstChild.id + ".gif");
		}