function filterCategories() {
	var sel = document.getElementById('categoryFilter').selectedIndex;
	var val = document.getElementById('categoryFilter').options[sel].value;
	window.location = '?filter=1&filcat='+val;
}