// JScript File
function ChkNum(ctrl)
{
    if (event.keyCode == 47)
        {return true;}
    else if (event.keyCode < 48 || event.keyCode > 57 )
        {return false;}
    else
        {return true;}
}           

function ChkNum_int(ctrl)
{
    if (event.keyCode < 48 || event.keyCode > 57 )
        {return false;}
    else
        {return true;}
}