Usted está sentado frente a un espejo y mira la imagen de un reloj situado detrás de usted. Quiere saber qué hora es. El reloj es un reloj tradicional, que marca 12 horas (sin números escritos). Tiene un minutero y una aguja que marca las horas (la manecilla de las horas es más corta, de modo que usted puede distinguirla ).

Dada una cadena que indica el tiempo  como se ve en el espejo. se le pide devolver una cadena con la hora real.

Por ejemplo si nos dan la cadena $10:00$ como vemos en la imagen la respuesta será $02:00$.

a entrada consiste de varios casos de prueba. Cada caso de prueba es una cadena que viene en una linea. Indica la hora en el formato $HH: MM$, donde $HH$ es la hora y tiene dos dígitos, y $MM$ es el minuto también con  dos dígitos. La hora está entre 00 y 11, inclusive, donde 00 representa el 12 de la tarde. Los minutos son un numero entre 00 y 59, inclusive.
La entrada termina cuando no hay más datos.

Por cada caso de prueba,
devuelve una cadena en el mismo formato que con el tiempo real.