题目描述

程老师有一块跟了他很多年的电子秒表。这块秒表从不停走，表盘上永远显示着一个时刻。平时测速度、算时间，程老师总爱拿着它，表盘上那六个数字清清爽爽，一眼就能读出几点几分几秒。表盘的显示方式很讲究：固定用六个数字表示时刻，前两个数字是小时，中间两个数字是分钟，后两个数字是秒，中间用冒号隔开，看起来就是 HH:MM:SS 这个样子。秒表走的是二十四小时制：小时从 00 数到 23，分钟从 00 数到 59，秒也从 00 数到 59。不管什么时候看它，表盘上永远是这么六个数字，两个一组，中间隔着冒号。

这天上课，程老师刚带着学生测完一组跑步的成绩，顺手把秒表放在讲台上。他轻轻一按，表盘就停住了，显示的是他按下那一刻的时刻。他把表盘亮给全班看，问大家："我按下之后，让表盘的计时继续往前走，走够 t 秒，表盘上会显示什么时刻？"

表盘上的时间是这样一点一点走的：每走一秒，秒的数字就加一；秒的数字数到 59 之后，再走一秒，秒就变回 00，同时分钟的数字加一；分钟的数字数到 59 之后，再走一分钟，分钟就变回 00，同时小时的数字加一；小时数到 23 之后，再走一小时，小时就变回 00，新的一天开始。也就是说，表盘上显示的永远是一个 HH:MM:SS 形式的时刻，不会出现 24:00:00 这样的数字。无论过去多久，表盘上的时间都落在 00:00:00 到 23:59:59 这一整天里，一天过完，就从头再转一圈。

现在，程老师想请你帮忙算一算：从按下那一刻表盘显示的时刻开始，让秒表走够 t 秒，表盘上会显示什么时刻？

输入格式

从文件 watch.in 中读入数据。

第一行一个字符串 HH:MM:SS，表示按下时表盘上显示的时刻。保证是一个合法时刻，即小时在 00 到 23 之间，分钟和秒都在 00 到 59 之间。

第二行一个整数 t，表示经过的秒数。

输出格式

输出到文件 watch.out 中。

一行一个字符串，表示走够 t 秒之后表盘上显示的时刻，格式为 HH:MM:SS。

时、分、秒都必须是两位数字，不足两位时在前面补 0。

数据范围

特殊性质 A：开始时刻为 00:00:00。

特殊性质 B：t 恰好是 86400 的整数倍。

对于所有测试点：$0 \le t \le 10^{18}$。

样例

23:59:59
1

00:00:00

07:05:09
3661

08:06:10

12:00:00
90061

13:01:01

样例解释

样例 2：从 07:05:09 开始走 3661 秒。3661 秒拆开来是 3600 秒加 61 秒，也就是 1 小时加 1 分 1 秒。时刻先走满 1 小时到 08:05:09，再走 1 分 1 秒，就是 08:06:10。