P15521 [CCC 2016 J4] Arrival Time

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 到达的时间。

### 样例解释 $1$ Fiona 没有遇到任何交通拥堵，并且她在早上 $5$ 点出发，正好在早上 $7$ 点到达。 ### 样例解释 $2$ Fiona 在高峰时段的交通中驾驶了 $3$ 小时，但行驶的路程仅相当于她正常情况下驾驶 $1.5$ 小时所走的距离。在最后 $30$ 分钟（$0.5$ 小时）里，她行驶在非高峰时段交通中。 ### 样例解释 $3$ Fiona 在晚上 $11:20$ 出发，由于是非高峰时段交通，行驶需要两小时，因此她在次日早上 $1:20$ 到达。