import re

string = input()
pattern = r"[^0-9]+"
print(re.sub(pattern,"",string))