import json
arr = input()
arr = json.loads(arr)
for i in range(len(arr) -1):
    for j in range(len(arr) - i -1):
        if arr[j] > arr[j+1]:
            arr[j],arr[j+1] = arr[j+1],arr[j]
print(arr[len(arr)-3])