#include<stdio.h>
int i,j,c[10];int main(){for(;~scanf("%d",&i);)c[i]++;for(i=10,j=3;j>0;j-=c[--i]);printf("%d\n",i);}