#include <iostream>
#include <fstream>
using namespace std;

#define in cin
//ifstream in("4307.txt");

int potencias2[5] = {0,1,2,4,8};

inline int leerDigito(char longitud) {
    char c, digito = 0;
    for (char i = 0; i < longitud; i++) {
        in >> c >> c;
        //cout << " - " << ((c == '*') ? 1 : 0);
        if (c == '*') {
            digito += potencias2[longitud-i];
            in >> c;
        }
    }//cout << endl;
    return digito;
}

int main() {
    int n,a,b,c,d,e,f;
    in >> n;
    for (int i = 1; i <= n; i++) {
		a = leerDigito(2);
		b = leerDigito(4);
		c = leerDigito(3);
		d = leerDigito(4);
		e = leerDigito(3);
		f = leerDigito(4);
    	cout << "Case " << i << ": " << a << b << ":" << c << d << ":" << e << f << endl;
	}
    return 0;
}