function ReplaceBadInput(myObjId) {
	var strInput = document.getElementById(myObjId).value;
	strInput = strInput.replace(/\</g, " ");
	strInput = strInput.replace(/\>/g, " ");
	strInput = strInput.replace(/\./g, " ");
	strInput = strInput.replace(/\'/g, "");
	strInput = strInput.replace(/:/g, " ");
	strInput = strInput.replace(/;/g, " ");
	strInput = strInput.replace(/\?/g, " ");
	strInput = strInput.replace(/\\/g, " ");
	strInput = strInput.replace(/\//g, " ");
	strInput = strInput.replace(/\{/g, " ");
	strInput = strInput.replace(/\}/g, " ");
	strInput = strInput.replace(/\[/g, " ");
	strInput = strInput.replace(/\]/g, " ");
	strInput = strInput.replace(/\=/g, " ");
	strInput = strInput.replace(/\+/g, " ");
	strInput = strInput.replace(/-/g, " ");
	strInput = strInput.replace(/_/g, " ");
	strInput = strInput.replace(/\!/g, " ");
	strInput = strInput.replace(/#/g, " ");
	strInput = strInput.replace(/\$/g, " ");
	strInput = strInput.replace(/%/g, " ");
	strInput = strInput.replace(/\^/g, " ");
	strInput = strInput.replace(/&/g, " ");
	strInput = strInput.replace(/\*/g, " ");
	strInput = strInput.replace(/\(/g, " ");
	strInput = strInput.replace(/\)/g, " ");

	//document.getElementById(myObjId).value = strInput;
	
	document.location = "http://www.evpl.org/search/catalog/encore/search.aspx?s=" + strInput;
}