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,"");}