P15521 [CCC 2016 J4] Arrival Time
Description
Fiona commutes to work each day. If there is no rush-hour traffic, her commute time is $2$ hours. However, there is often rush-hour traffic. Specifically, rush-hour traffic occurs from $07:00$ (7am) until $10:00$ (10am) in the morning and $15:00$ (3pm) until $19:00$ (7pm) in the afternoon. During rush-hour traffic, her speed is reduced by half.
She leaves either on the hour (at XX:00), 20 minutes past the hour (at XX:20), or 40 minutes past the hour (at XX:40).
Given Fiona's departure time, at what time does she arrive at work?
Input Format
The input will be one line, which contains an expression of the form **HH:MM**, where **HH** is one of the 24 starting hours ($00$, $01$, ..., $23$) and **MM** is one of the three possible departure minute times ($00$, $20$, $40$).
Output Format
Output the time of Fiona's arrival, in the form **HH:MM**.
Explanation/Hint
**Explanation for Output for Sample Input 1**
Fiona does not encounter any rush-hour traffic, and leaving at $5$am, she arrives at exactly $7$am.
**Explanation for Output for Sample Input 2**
Fiona drives for $3$ hours in rush-hour traffic, but only travels as far as she normally would after driving for $1.5$ hours. During the final $30$ minutes ($0.5$ hours) she is driving in non-rush-hour traffic.
**Explanation for Output for Sample Input 3**
Fiona leaves at $11:20$pm, and with non-rush-hour traffic, it takes two hours to travel, so she arrives at $1:20$am the next day.