题目描述

警察在侦破一个案件时，得到了线人给出的可能犯罪时间，形如 "$HH:MM$" 表示的时刻。

根据警察和线人的约定，为了隐蔽，该事件是修改过的，解密规则为：利用当前出现过的数字，构造下一个距离当前事件最近的时刻，则该时间为可能的犯罪的时间。每个数字都可以被无限次使用。

输入描述

形如 $HH:SS$ 字符串，表示原始输入。

输出描述

形如 $HH:SS$ 字符串，表示推理处理的犯罪时间。

备注：

1. 可以保证现任给定的字符串一定是合法的，例如，"$01:35$" 和 "$11:08$" 是合法的，"$1:35$"和"$11:8$" 是不合法的。
2. 最近的时刻可能在第二天。

示例1

输入

20:12

输出

20:20

示例2

输入

23:59

输出

22:22