private final static int readInt(InputStream is) throws IOException {
		byte b[] = read(is, 4);
		return ((b[0] & 0xFF) << 24) +
				((b[1] & 0xFF) << 16) +
				((b[2] & 0xFF) << 8) +
				((b[3] & 0xFF));
	}