function check_numeric(e) {
	var k = document.all ? e.keyCode : e.which;
	return ((k > 47 && k < 58) || k == 8 || k == 0);
}

function extract_numeric(str) {
	return str.replace(/\D/g,"");
}