public int[] GetStoredKnr(int docid) { var L = new int[this.K]; for (int i = 0, start_pos = this.K * docid; i < this.K; ++i) { L [i] = this.SEQ.Access (start_pos + i); } return L; }