function divHighlight()
{
	useDiv=self.document.location.hash;
	useDiv=useDiv.replace("#","")+"Block";
	
	document.getElementById(useDiv).style.backgroundColor="#FFFFCC";
	document.getElementById(useDiv).style.padding="4px";
}