int ch1 = this.read(); int ch2 = this.read(); int ch3 = this.read(); int ch4 = this.read(); if ((ch1 | ch2 | ch3 | ch4) < 0) throw new EOFException();  return ((ch1 << 24) + (ch2 << 16) + (ch3 << 8) + (ch4 << 0));
byte ch[] = new byte[4]; this.readFully(ch, 0, 4);  int ret = 0; for ( int i = 0; i < ch.length; i++ ) ret = ((ret << 8) & 0xFFFFFF00) | (ch[i] & 0x000000FF); return ret;
	public int readInt() throws IOException 	{    	int ch1 = this.read();    	int ch2 = this.read();    	int ch3 = this.read();    	int ch4 = this.read();    	if ((ch1 | ch2 | ch3 | ch4) < 0)    	    throw new EOFException();    	    	return ((ch1 << 24) + (ch2 << 16) + (ch3 << 8) + (ch4 << 0));	}