#include <stdio.h>

int main() {
    int score[10],sort[10];

    for (int i=0; i<10; i++) {
		int t;
        scanf("%d", &t);
        score[i]=t;
        sort[i]=t;
    }

    for (int i=0; i<9; i++) {
        for (int j = i+1; j<10; j++) {
            if (sort[i] < sort[j]) {
                int t = sort[i];
                sort[i] = sort[j];
                sort[j] = t;
            }
        }
    }

    int ns = sort[8];

    int np;
    for (int i=0; i<10; i++) {
        if (score[i] == ns) {
            np = i+1;
        }
    }

    printf("9位:%d人目\n",np);

    return 0;
}