atcoder#ABC258A. [ABC258A] When?

[ABC258A] When?

Score : 100100 points

Problem Statement

AtCoder Beginner Contest usually starts at 21:00 JST and lasts for 100100 minutes.

You are given an integer KK between 00 and 100100 (inclusive). Print the time KK minutes after 21:00 in the HH:MM format, where HH denotes the hour on the 2424-hour clock and MM denotes the minute. If the hour or the minute has just one digit, append a 00 to the beginning to represent it as a 22-digit integer.

Constraints

  • KK is an integer between 00 and 100100 (inclusive).

Input

Input is given from Standard Input in the following format:

KK

Output

Print the time KK minutes after 21:00 in the format specified in the Problem Statement.

63
22:03

6363 minutes after 21:00, it will be 22:03, so 22:03 should be printed.

The following outputs would be judged incorrect:

  • 10:03
  • 22:3
45
21:45
100
22:40