protected void list_insert(long node, double pr) {
        if (prs[9] >= pr) return;
        int i;
        for (i = 9; i > 0; i--) {
            if (prs[i - 1] >= pr) break;
            prs[i] = prs[i - 1];
            nodes[i] = nodes[i - 1];
        }
        prs[i] = pr;
        nodes[i] = node;
    }