题解 | #截断电话号码#

import re

line=input()
result=re.match(r"[\d | -]*",line).group()
print(result)