function
isDigit(value) {
var
patrn = /^[0-9]*$/;
if
(patrn.exec(value) ==
null
|| value ==
""
) {
return
false
}
else
{
true