var oldWebColor;
	var WebCurrentID;
	
		function showNWhighlight(obj){
			WebCurrentID = obj.id.charAt(1);
			oldWebColor=obj.style.color;
			obj.style.color="orange";
			for (i=0 ; i<9 ; i++){
				document.getElementById('HTMLExplain'+i).style.display='none';
			}
			document.getElementById('HTMLExplain'+ WebCurrentID).style.display='block';
			
		}
		
		function hideNWhighlight(obj){
			obj.style.color=oldWebColor;
		}