private int DocVal(int doc) { System.String id = idIndex.lookup[idIndex.order[doc]]; object prio = Enclosing_Instance.priority[id]; return prio == null ? 0 : (int)prio; }