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;
}