「QFOI R2」水落溪流浅浅

题目描述

小 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$ 小时制| |:-:|:-:| |$2024$ 年 $2$ 月 $13$ 日 $06:00$|$2024$ 年 $2$ 月 $13$ 日 $06:00$| |$2024$ 年 $2$ 月 $13$ 日 $12:00$|$2024$ 年 $2$ 月 $13$ 日 $12:00$| |$2024$ 年 $2$ 月 $13$ 日 $18:00$|$2024$ 年 $2$ 月 $13$ 日 $18:00$| |$2024$ 年 $2$ 月 $14$ 日 $00:00$|$2024$ 年 $2$ 月 $13$ 日 $24:00$| |$2024$ 年 $2$ 月 $14$ 日 $05:59$|$2024$ 年 $2$ 月 $13$ 日 $29:59$| |$2024$ 年 $2$ 月 $14$ 日 $06:00$|$2024$ 年 $2$ 月 $14$ 日 $06:00$| 现给定一个 $24$ 小时制时间,请将其转化为 $30$ 小时制。 由于小 R 也认为闰年处理很烦,因此你不需要告诉她日期,只需要告诉她时间即可。

输入输出格式

输入格式


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

输出格式


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

输入输出样例

输入样例 #1

14:00

输出样例 #1

14:00

输入样例 #2

09:07

输出样例 #2

09:07

输入样例 #3

03:22

输出样例 #3

27:22

说明

**样例 $1$ 解释** $14:00$ 属于 $06:00\sim 23:59$ 的范围,因此表示方式不变。 --- **数据范围** 本题不采用捆绑测试。 对于全部数据:保证输入为【输入格式】中约定合法的 $24$ 小时制时间。 --- **提示** 【题目描述】部分的表格提供了更多可供使用的样例。