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