private String getName(int next) throws IOException {
		StringBuilder str = new StringBuilder();
		while (isAlNum(next)) {
			str.append((char) next);
			next = getChar();
		}
		ungetChar(next);
		return str.toString();
	}