import sys
arr = list(map(int, sys.stdin.readline().split()))
max_arr = max(arr)
min_arr = min(arr)
while (arr.count(max_arr) != 0):
    arr[arr.index(max_arr)] = min_arr
print(' '.join(map(str, arr)))