function jTrim(str){var s;s = str.replace(/^\s*/, "").replace(/\s*$/, "");return s;}function isNumeric(strString){var strValidChars = "0123456789";var strChar;for (i = 0; i < strString.length; i++){strChar = strString.charAt(i);if (strValidChars.indexOf(strChar) == -1){return false;}}return true;}function IsNumeric(sText)
{
   var ValidChars = "0123456789.";
   var IsNumber=true;
   var Char;

 
   for (i = 0; i < sText.length && IsNumber == true; i++) 
   { 
      Char = sText.charAt(i); 
      if (ValidChars.indexOf(Char) == -1) 
      {
         IsNumber = false;
      }
   }
   return IsNumber;
}