a = input() # 读取输入 b = a.replace('5', ' ') # 将5替换为空格，形成以空格分隔的字符串 results = [] # 初始化结果列表 # 遍历分割后的字符串列表，去除前导零，并转换为整数 for i in b.split(): # 使用split()方法进一步分割可能由多个空格形成的连续分隔 if i: # 检查字符串是否非空 results.append(int(i)) # 转换为整数并添加到结果列表 # 对结果列表进行排序 results.sort() # 打印排序后的结果 print(*results)