inputFile.seek(pos); resetBuffer();
if (pos >= buffer_start && pos < buffer_start + buffer_size) {  buffer_pos = (int) (pos - buffer_start); } else {  inputFile.seek(pos); file_pointer = pos; resetBuffer(); }
	public void seek(long pos) throws IOException {		inputFile.seek(pos);		resetBuffer();	}