题目描述

AtCoder Beginner Contest 通常在日本标准时间 $21$ 时整开始，持续 $100$ 分钟。

给定一个整数 $K$，满足 $0 \leq K \leq 100$。请输出从 $21$ 时整开始经过 $K$ 分钟后的时间，格式为 HH:MM。其中，HH 表示 $24$ 小时制的小时数，MM 表示分钟数。如果小时或分钟为一位数，需要在前面补零，使其成为两位数。

输入格式

输入为一行，包含一个整数 $K$。

输出格式

请输出从 $21$ 时整开始经过 $K$ 分钟后的时间，按照题目要求的格式输出。

样例 1

输入

63

输出

22:03

样例 2

输入

45

输出

21:45

样例 3

输入

100

输出

22:40

说明/提示

限制条件

• $K$ 是 $0$ 到 $100$ 之间的整数。

样例解释 1

从 $21$ 时整开始经过 $63$ 分钟后的时间是 $22$ 时 $3$ 分，因此应输出 22:03。以下输出都是不正确的：

• 10:03
• 22:3

由 ChatGPT 4.1 翻译