题目描述

小 R 是一个可爱的女孩子，某天晚上 $23$ 点她在提交作业时，发现截止时间是当天凌晨 $0$ 点。为了避免悲剧再次发生，她向你介绍“$30$ 小时制”。

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

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

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

由于小 R 也认为闰年处理很烦，因此你不需要告诉她日期，只需要告诉她时间即可。

输入格式

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

输出格式

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

14:00

14:00

09:07

09:07

03:22

27:22

提示

样例 $1$ 解释

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

数据范围

本题不采用捆绑测试。

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

提示

【题目描述】部分的表格提供了更多可供使用的样例。