int n, k; n = k = 0;
int n;
	private int getCharAfterS()		throws ParseException, EncodingException, EOFException {		int n, k;		n = k = 0;		while (true) {			n = getChar();			if (n == ' ' || n == '\t' || n == '\n' || n == '\r') {			} else				return n;		}		//throw new EOFException("should never come here");	}