题目描述

AtCoder Beginner Contest通常在21:00 JST开始，持续$100$分钟。

给定一个介于$0$和$100$之间（包括$0$和$100$）的整数$K$。以HH:MM的格式打印出21:00后$K$分钟的时间，其中HH表示24小时制的小时，MM表示分钟。如果小时或分钟只有一位数，则在前面添加一个$0$以表示为两位数的整数。

约束条件

• $K$是一个介于$0$和$100$之间（包括$0$和$100$）的整数。

输入

从标准输入读入输入数据，输入格式如下：

$K$

输出

按照题目描述指定的格式打印出21:00后$K$分钟的时间。

示例输入1

63

示例输出1

22:03

21:00后$63$分钟，时间是22:03，因此应该打印22:03。

以下输出将被判断为错误：

• 10:03
• 22:3

示例输入2

45

示例输出2

21:45

示例输入3

100

示例输出3

22:40