function postFilter() {
	theForm = document.getElementById('filterForm');
	if (theForm != null) 
		theForm.submit();
}