说明

Fiona 每天通勤上班。

如果没有交通拥堵，她的通勤时间是 $2$ 小时；然而，高峰时段交通拥堵时有发生。

具体来说，早高峰拥堵时段为上午 $07:00$ 至 $10:00$，晚高峰拥堵时段为 $15:00$ 至 $19:00$。高峰时段拥堵时，她的车速会减半。

她的出发时间要么是整点，要么是整点过 $20$ 分，要么是整点过 $40$ 分。

已知 Fiona 的出发时间，她何时能到达工作地点？

输入格式

输入一行，包含一个形如 HH:MM 的表达式。

其中，HH 是 $24$ 小时制中的小时数之一（取值为 $00,01,\cdots,23$），MM 是三种可能的出发分钟数之一（取值为 $00,20,40$）。

输出格式

以 HH:MM 的形式输出 Fiona 到达的时间。

05:00

07:00

07:00

10:30

23:20

01:20

提示

样例解释 $1$

Fiona 没有遇到任何交通拥堵，并且她在早上 $5$ 点出发，正好在早上 $7$ 点到达。

样例解释 $2$

Fiona 在高峰时段的交通中驾驶了 $3$ 小时，但行驶的路程仅相当于她正常情况下驾驶 $1.5$ 小时所走的距离。在最后 $30$ 分钟（$0.5$ 小时）里，她行驶在非高峰时段交通中。

样例解释 $3$

Fiona 在晚上 $11:20$ 出发，由于是非高峰时段交通，行驶需要两小时，因此她在次日早上 $1:20$ 到达。