#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(int argc, char *argv[]){

    int i,j,n,max=0,masodik=0,harmadik=0,db=0,tmp;
    char line[350], *p;
    int t[200]={0};
    FILE *f;

    f= fopen(argv[1], "r");
    while(fgets(line,350, f) != NULL){
        p=strtok(line,"|");

        while(p=strtok(NULL,"|")){
            n = atoi(p);
            t[db] = n;
            db++;
        }
        for(i=0;i<db;i++)
            for(j=i+1;j<db;j++){

                if(t[i] < t[j]){
                    tmp=t[i];
                    t[i]=t[j];
                    t[j]=tmp;
                }
            }
        for(i=0;i<db;i++){

            if(t[i] > max)
                max = t[i];
            if(t[i] > masodik && t[i] < max)
                masodik = t[i];
            if(t[i] > harmadik && t[i] < masodik)
                harmadik = t[i];

        }

        if(db >= 3){
            printf("%d\n",harmadik);
        }else printf("0\n");

    max=0,masodik=0,harmadik=0,db=0;
    }
}