function stripNonNumeric(id){
	var string_value = document.getElementById(id).value;
	string_value = string_value.replace(/[^0-9]/ig, "");
	document.getElementById(id).value = string_value;
}