static boolean isSpace(char x)
	{
		return (x == ' ')       // real space
			|| (x == '\n')      // newline
			|| (x == '\r')      // carriage return
			|| (x == '\t')      // tab
			|| (x == '\f')      // form feed
			|| (x == '\b');     // backspace
	}