Problem Description

Xiao R is a lovely girl. One night at 23:00, she found that the deadline for submitting her homework was at 00:00 that morning. To prevent such a tragedy from happening again, she introduces you to the "30-hour system."

In the 30-hour system, a day is still 24 hours long, but the time range changes from 00:00 to 23:59 to 06:00 to 29:59. For times between 06:00 and 23:59 in the 24-hour system, their representation remains unchanged. However, after 00:00 the next day, the date remains the same, and the hour part of the time continues to increase until it reaches 06:00 the next day.

For example, here is a table showing some time conversions:

Given a time in the 24-hour system, please convert it to the 30-hour system.

Since Xiao R also finds leap year calculations troublesome, you do not need to tell her the date, just the time.

Input Format

A single line containing a string in the format hh:mm, representing a time in the 24-hour system. Specifically, if the hour and minute are less than two digits, leading zeros will be added to make them two digits.

Output Format

A single line containing a string in the format hh:mm, representing the corresponding time in the 30-hour system. If the hour and minute are less than two digits, you should also add leading zeros to make them two digits. You do not need to consider changes in the date.

Sample Input and Output

Sample Input #1

14:00

Sample Output #1

14:00

Sample Input #2

09:07

Sample Output #2

09:07

Sample Input #3

03:22

Sample Output #3

27:22

Notes

Sample 1 Explanation

14:00 falls within the 06:00 to 23:59 range, so its representation remains unchanged.

Data Range

This problem does not use bundled testing.

For all data: The input is guaranteed to be a valid 24-hour system time as specified in the Input Format.

Hints

The table in the Problem Description section provides more sample cases for reference.

见题面 Input 部分

见题面 Output 部分