#import<bits/stdc++.h>
main(int,char*b){std::sort(b,b+read(0,b,19));write(1,b+16,1);}