function isBlank(s) {
	for(var j = 0; j < s.length; j++) {
		var c = s.charAt(j);
		if ((c != " ") && (c != "\n") && (c != "\t")) return false;
	}
	return true;
}