近期发现部分用户尝试利用判题系统的评测信息进行作弊,严重破坏了公平竞争的环境。为维护良好的交流与学习氛围,已对判题机进行了优化,当程序遇到测试点不通过时会立即返回而不评测更多测试点;并且延长提交间隔为60秒。作弊行为不仅违背了学习的初衷,还侵害了其他用户的公平权益,希望所有用户能够遵守规范,专注算法与思维能力的提升。对于恶意多次尝试的用户,我们将保留进一步处置的权利。 —— Administrator

100312 - 时钟和时间

时间限制

1000 毫秒

内存限制

128 MB

通过次数

40

提交次数

102

频率是衡量CPU性能的重要标准,往往频率越高,每秒能完成的运算次数就越多。在操作系统中会有一个变量c来记录开机以来时钟运行了多少次,有一个常量k来表示每秒时钟会运行多少次。当程序开始运行我们取得时钟运行次数为c_1,当程序结束运行我们取得时钟运行次数为c_2,假定k=100,求程序运行了多久?

输入

一行,用单个空格分隔的两个整数,分别表示c_1,c_2

对于100%的数据:

0 \le c_1 < c_2 \le 1\cdot 10^7

输出

一行,一个以hh:mm:ss 表示的时间(时分秒各两位,中间以英文冒号隔开,不足两位添加前导0补足两位)。小数部分进行四舍五入。

样例

输入

123 4567890

输出

12:41:18

输入

0 100

输出

00:00:01