#abc258a. [abc258_a]When?

[abc258_a]When?

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.


Sample Input 1

63

Sample Output 1

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

Sample Input 2

45

Sample Output 2

21:45

Sample Input 3

100

Sample Output 3

22:40