Alarm Clock

When setting an alarm on a phone, you press four digits for the hour and minute. For example, to set 12:30, press 1, 2, 3, 0 in order. For 9:30, the hour has a leading zero, so you press 0, 9, 3, 0.

Kung noticed that even after entering the wrong alarm time, the hour shown on the screen is the entered hour modulo 24, and the minute shown on the screen is the entered minute modulo 60. For example, if 66:79 is entered, the screen shows 18:19.

Kung is very lazy and wants to set the desired alarm time with as little effort as possible. Find the typed time with the minimum total effort among all four-digit inputs that make the desired time appear on the screen.

The keypad is shown above. The effort needed to move from key a to key b is:

effort(a, b) = |x_a - x_b| + |y_a - y_b|

Here, (x_a, y_a) and (x_b, y_b) are the coordinates of keys a and b.

The total effort is the sum of the effort needed to move from the first key to the second, from the second key to the third, and from the third key to the fourth.

For example, the total effort to enter 22:45 is effort(2, 2) + effort(2, 4) + effort(4, 5) = 0 + 2 + 1 = 3.

If multiple typed times have the minimum total effort, output the earliest typed time among them.

The first line contains the desired displayed time in HH:MM format. If the hour or minute has one digit, it is written with a leading zero.

The desired displayed time is between 00:00 and 23:59, inclusive.

Print the answer in HH:MM format on the first line. If the hour or minute has one digit, print it with a leading zero.