function isNumericKey(e) { var k = document.all ? e.keyCode : e.which; return ((k > 47 && k < 58) || k == 8 || k == 0); }
function extractNumeric(str) { return str.replace(/\D/g, ""); }