Description

$30$ 小时制的一天长度依然为 $24$ 小时，只是每天的时间范围从 $00:00\sim 23:59$ 变成了 $06:00\sim 29:59$。其中，对于 $24$ 小时制下在 $06:00\sim 23:59$ 之间的时间，其表示方式不变，而到了次日 $00:00$ 以后，保持日期不变，时间的小时部分继续增加，直到到达次日 $06:00$。

例如，下表是一些时间的对应关系：

现给定一个 $24$ 小时制时间，请将其转化为 $30$ 小时制。

Format

Input

一行一个字符串，格式为 hh:mm，表示一个 $24$ 小时制时间。特别地，若小时和分钟不足两位数，会补前导零至两位。

Output

一行一个字符串，格式为 hh:mm，表示对应的 $30$ 小时制时间。若小时和分钟不足两位数，你同样需要补前导零至两位。你不需要考虑日期是否变化。

Samples

14:00

14:00

09:07

09:07

03:22

27:22

06:00

06:00

Sample explain 1

$14:00$ 属于 $06:00\sim 23:59$ 的范围，因此表示方式不变。

Limitation

对于全部数据：保证输入为【输入格式】中约定合法的 $24$ 小时制时间。