美国计算机科学联赛版本的菲利普·克雷蒂安“斐波那契时钟”是通过改变由五种正方形呈现的颜色来显示时间的，它们的边长分别对应斐波那契数字的前五个数（$1，1，2，3，5$）。你要根据钟面上正方形的颜色，以 $hh:mm:ss$ 的格式输出其对应的时间。这些颜色会以由五个大写字母组成的字符串的方式给到你，它们依次代表下方 $1$ x $1$ 正方形，上方 $1$ x $1$ 正方形，$2$ x $2$ 正方形，$3$ x $3$ 正方形，以及 $5$ x $5$ 正方形。 (见 https://basbrun.com/2015/05/04/fibonacci-clock/.)

每个正方形都有一种颜色：红色、绿色、蓝色、青色、紫红色、黄色或白色。所有红色正方形仅表示小时数； 绿色正方形仅表示分钟数； 蓝色正方形仅表示秒数。但是，交叉区域（如维恩图所示）表示两种不同的值：黄色代表小时和分钟；紫红色代表小时和秒；青色代表分钟和秒。白色正方形可以忽略。

将正方形边长的值相加再乘以 $5$ 得出分钟和秒，这样分钟数和秒数以 $5$ 为间隔，介于 $0$ 到 $60$ 之间。

但是，若分钟数或者秒数大于等于 $60$，并且/或者小时数 大于等于 $12$，则需要将其变为 $00:00:00$ 到 $11:56:55$ 之间的一个有效时间。例如，$09:60:00$ 要变成 $10:00:00$，$12:00:60$ 要变成 $00:01:00$。

在这个修改版的时钟里，最上方时钟所显示的时间是 $01:15:35$。$1$ x $1$ 的红色正方形表示小时数，$3$ x $3$ 的绿色正方形 $(3*5=15)$ 表示分钟数，$2$ x $2$ 的蓝色正方形和 $5$ x $5$ 的蓝色正方形 $(2 + 5 = 7$ 和 $7 * 5 = 35)$ 表示秒数。

例如，以下两幅图表示的是前两个示例输入。字符串 “RWGBG” 代表 $1$ 小时， $(2 + 5) * 5 = 35$ 分钟, $3 * 5 = 15$ 秒。字符串 “RCMGB” 表示 $3$ 小时 $(1+2)$，$20$ 分钟 $((1+3)*5)$，$40$ 秒 $((5+1+2)*5)$ 或 $03:20:40$。

输入格式

有五组数据。每组包含一个由 $5$ 个字母组成的字符串，如 “RWGBG”，它们可能来自 $7$ 个大写字母，这些可能的字母是 R, G, B, C, M, Y 和 W。顺序为 $1$ x $1$ 正方形, 上方 $1$ x $1$ 正方形, $2$ x $2$ 正方形, $3$ x $3$ 正方形, 以及 $5$ x $5$ 正方形。确保输入内容能表示 $00:00:00$ 到 $11:56:55$ 中的一个有效时间。

输出格式

打印输出每一行数据中由小时、分钟和秒组成的时间，格式为 $hh:mm:ss$。

样例

输入

RWGBG
RCMGB
BYYGR
MRGBW
YYYYY

输出

01:35:15
03:20:40
08:30:05
02:10:20
01:00:00