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