public int getInt() {
		String s = nextToken();
		try {
			return Integer.parseInt(s);
		} catch (NumberFormatException e) {
			if (s.charAt(0) == '*') return -1;
			throw new IllegalArgumentException(s + " is not a integer!");
		}
	}