var line, i_zero, i, j, util;

line = require('fs').readFileSync('/dev/stdin', 'ascii').split("\n");
i_zero = line.lastIndexOf('0');
line = line.slice(0, i_zero);
util = require('util');
j = 1;
for (i in line) {
	line[i] = util.format("Case %d: %s", j, line[i]);
	j++;
}
console.log(line.join("\n").trim());