/** catJump(obj)
 * Pull-down menu handler for category jump.
 * obj = object; calling element
 * returns nothing
 **/
function catJump(obj) {
	var val = obj.options[obj.options.selectedIndex].value;
	var newURL = window.location.href;
	if (newURL.indexOf('#')!==-1) {
		newURL = newURL.substring(0, newURL.indexOf('#'));
	}
	window.location.href = newURL + '#' + val;
}