function jump_to_category(elem) {
	if (elem.selectedIndex > 0)
		location.replace('#' + (elem.options[elem.selectedIndex].value));
	elem.selectedIndex = 0;
}