function ChangeCat(catcontrol) {
	if (catcontrol != undefined && catcontrol.value != undefined) {
		document.location.replace("#" + catcontrol.value);
	}
}