function isNumber(s)
{
var patrn=/^\s*[+-]?[0-9]+\s*$/;
if (!patrn.test(s)) return false
return true
}
function isNumber(s)
{
var patrn=/^\s*[+-]?[0-9]+\s*$/;
if (!patrn.test(s)) return false
return true
}