// JScript File

function feedNumericEntries(k) {

    var dg = "0123456789.";
    var str = document.getElementById(k).value;
    var str2 = "";
    for (var j = 0; j < str.length; j++) {
        var ch1 = str.charAt(j);
        for (var i = 0; i < dg.length; i++) {
            if (ch1 == dg.charAt(i)) {
                str2 = str2 + ch1;
                break;
            } else { }
        }
    }
    document.getElementById(k).value = str2;
}