function isNumber(theNumber) {
	var numCheckString = "0123456789";
	var i;
	for (i = 0; i < theNumber.length; i++)
	{
		if (numCheckString.indexOf(theNumber.charAt(i)) == -1) {
		return(false);
		}
	}
	return(true);
}

function trim(a){
  return a.replace(/^\s+/,'').replace(/\s+$/,'')
}