题解 | #提取数字电话#

# 清理电话簿
# 1.使用findall()函数找出所有数字后拼接成新的字符串
import re
# while True:
#     try:
#         print(''.join(re.findall(r'\d',input())))
#     except:
#         break

# 2.使用re.sub()替换函数
while True:
    try:
        s = input()
        print(re.sub('[a-z]+|[A-Z]+|-','',s,flags=False))
    except:
        break