---

#include<stdio.h>
#include<stdlib.h>
int main(){
    char string[1000000][10000];
    while(scanf(" %s",string[0])!=EOF){
        int i;
        i=1;
        do{
            scanf(" %s",string[i]);
            i++;
        }while(getchar()!='\n');
        int j;
        j=0;
        int nums[10000];
        while(j<i){
            sscanf(string[j],"%d",&nums[j]);
            j++;
        }
        j=0;
        for(j=0;j<i;j++){
            int k,temp;
            k=j-1;
            temp=nums[j];
            while(k>=0 && nums[k]>=temp){
                nums[k+1]=nums[k];
                nums[k]=temp;
                k--;
            }
        }
        int c=0;
        int t;
        int j1;
        j=0;
        j1=0;
        while(j1<i){
            t=nums[j1];
            while(nums[j]==t){
                c++;
                j++;
            }
            int v=j-1;
            if(c==2){
                printf("%d\n",nums[v]);
                break;
            }
            c=0;
            j1=j;
        }
    }
    return 0;
}