function stripFilter(htmlInput, hiddenName){
	document.getElementById(hiddenName).value = htmlInput.value;	
	document.forms[0].submit();
}