var whitespace = " \t\n\r";
var digits = "0123456789.";
var spacedigits = "0123456789 ";

function isEmpty(s) {
	if((s == null) || (s.length == 0)) {
		return true;
	}
	for(i=0;i<s.length;i++) {
		var c = s.charAt(i);
		if(whitespace.indexOf(c) == -1) {
			return false;
		}
	}
	return true;
}

function isDigit(c) {
	return (c >= "0" && c <= "9");
}

function isPointDigit(c) {
	if(digits.indexOf(c)==-1) {
		return false;
	} else {
		return true;
	}
}

function isInteger(s) {
	var i, c;
	
	if(isEmpty(s)) {
		return false;
	}
	
	for(i=0;i<s.length;i++) {
		c = s.charAt(i);
		if(!isDigit(c)) {
			return false;
		}
	}
	return true;
}

function isFloat(s) {
	var i, c;
	
	if(isEmpty(s)) {
		return false;
	}
	
	for(i=0;i<s.length;i++) {
		c = s.charAt(i);
		if(!isPointDigit(c)) {
			return false;
		}
	}
	return true;
}