jQuery(document).ready(function () {
	var current = null;
	function highlight() {
		if (current != null)
			current.removeClass("highlight");
		if (document.location.hash.length > 0 && document.location.hash[0] == "#")
			current = jQuery("h4" + document.location.hash).not(".highlight").addClass("highlight");
	}

	jQuery(window).hashchange(highlight);
	highlight();
});