ACSL’s version of Philippe Chretien’s “Fibonacci Clock” displays time by changing the colors displayed in $5$ squares, whose side lengths correspond to the first $5$ Fibonacci numbers ($1, 1, 2, 3,$ and $5$). Given the colors of the squares on the clock face, you must output the time that is represented in $hh:mm$ format. The colors will be given to you as $5$ individual characters representing the lower $1$ x $1$ square, the upper $1$ x $1$ square, the $2$ x $2$ square, the $3$ x $3$ square, and the $5$ x $5$ square in that order. (See https://basbrun.com/2015/05/04/fibonacci-clock/.)

Red squares are used to represent only hours and green squares are used to represent only minutes. Blue squares are used to represent both hours and minutes. White squares are ignored. To find the current hour, add the values of the red and blue squares. To find the current minutes, add the values of the green and blue squares and multiply by $5$ so that the number of minutes and seconds are in intervals of $5$ between $0$ and $60$ inclusive.

However, if the number of minutes is $60$, change it to the next hour with $0$ minutes and if the number of hours is $12$ or more, change it to a valid time from $00:00$ to $11:55$. For example, $09:60$ would become $10:00$ and $12:60$ would be $01:00$.

The clock in the picture above is displaying $08:50$. The hours are represented by the red $1$ x $1$, blue $2$ x $2$, and blue $5$ x $5$ squares $(1 + 2 + 5 = 8)$. The minutes are represented by the blue $2$ x $2$, the green $3$ x $3$, and the blue $5$ x $5$ squares $(2+3+5=10,$ and $10*5=50)$.

The example at the left which uses the inputted characters R, W, G, B, G displays the time $04:50$. The hours are represented by the $1$ x $1$ red square and the $3$ x $3$ blue square: $1 + 3 = 4$. The minutes are represented by the $2$ x $2$ green, the $3$ x $3$ blue, and the $5$ x $5$ green squares: $(2 + 3 + 5) * 5 = 50$. The example at the right which uses the inputted characters W, B, B, G, R displays the time $08:30$. The hours are $1 + 2 + 5 = 8$ and the minutes are $(1 + 2 + 3) * 5 = 30$.

INPUT FORMAT

There are $5$ sets of data. Each set has $5$ uppercase letters (R, W, B, or G) that represent the colors of the lower $1$ x $1$, the upper $1$ x $1$, the $2$ x $2$, the $3$ x $3$, and finally the $5$ x $5$ square, in that order. We guarantee that the input will represent a valid time from $00:00$ to $11:55$.

OUTPUT FORMAT

For each line of data, print the time in hours and minutes formatted as $hh:mm$.

SAMPLE

INPUT

R W G B G
W B B G R
W G B R B
G G B B B
W R G G G

OUTPUT

04:50
08:30
10:40
11:00
01:50