function filter(element) {
	var value = element.value;
	value = value.replace(/\</g,"");
	value = value.replace(/\>/g,"");
	value = value.replace(/\"/g,"");
	value = value.replace(/\'/g,"");
	value = value.replace(/\%/g,"");
	value = value.replace(/\;/g,"");
	value = value.replace(/\(/g,"");
	value = value.replace(/\)/g,"");
	value = value.replace(/\&/g,"");
	value = value.replace(/\+/g,"");
	element.value = value;
}
function submit(form) {
	form.submit();
}