#import"bits/stdc++.h"
int i,A[10];main(){while(i<10)std::cin>>A[i++];std::sort(A,A+10);std::cout<<A[7]<<"\n";}