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