BCD码是指用四位二进制数来表示十进制数中的0~9这十个数字的编码形式，常见的是8421码表如下:

十进制  二进制

由多组测试数据组成.每组数据一行,包括一个0和1组成的,长度为13的字符串,从左至右对应灯1-13. 1表示灯亮,0表示灯熄灭.

每组测试数据输出一行.如果数据有误,输出"Error", 否则输出对应时刻.见样例.

#include<iostream>

#include<cstring>

#include<cstdio>

using namespace std;

#define lx( c ) ((c)-('0'))

char ch[];

void tran(int &a, int &b, int &c, int &d){

    a = lx(ch[]) + lx(ch[])*;

    b = lx(ch[]) + lx(ch[])* + lx(ch[])* + lx(ch[])*;

    c = lx(ch[]) + lx(ch[])* + lx(ch[])*;

    d = lx(ch[]) + lx(ch[])* + lx(ch[])* + lx(ch[])*;

}

void Solve_question(){

    int a, b, c, d;

    tran(a, b, c, d);

    bool flag = true;

    if(a* + b >  || c *  + d > ) flag = false;

    if(a >  || b >  || c >  || d > ) flag = false;

    if(a* + b ==  && c* + d > ) flag = false;

    if( !flag ) printf("Error\n");

    else printf("%d%d:%d%d\n", a, b, c, d);

}

int main(){

    while(scanf("%s", ch) == ){

        int len = strlen(ch);

        if(len != ) { printf("Error\n"); continue; }

        Solve_question();

    }

}