描述

给定一个汽车里程计，其显示的行驶英里数为一个整数。然而，该里程计存在一个缺陷：在显示数字时，从数字 3 直接跳到数字 5，总是跳过数字 4。这一缺陷在所有位上均存在（个位、十位、百位等）。例如，如果里程计显示为 15339，当汽车行驶一英里后，里程计的读数会变为 15350（而不是 15340）。

输入

每一行输入包含一个正整数（范围为 1 至 999999999），表示一个里程计的读数。（输入中不会出现前导零。）当一行输入仅包含一个数字 0 时，表示输入结束。你可以假设所有的里程计读数中都不包含数字 4。

输出

对于每一行输入，都需要输出一行，格式为：
<里程计读数>: <汽车实际行驶的英里数>

输入数据示例 1

13
15
2003
2005
239
250
1399
1500
999999
0

输出数据示例 1

13: 12
15: 13
2003: 1461
2005: 1462
239: 197
250: 198
1399: 1052
1500: 1053
999999: 531440

题目来源
Rocky Mountain 2005