var rl, i = 1, end = false;

process.stdin.setEncoding('ascii');
rl = require('readline').createInterface({
	input: process.stdin, output: process.stdout});
rl.on('line', function (line) {
	if (end) return;
	if (line === '0') {
		end = true;
		return;
	}
	console.log("Case %d: %s", i, line);
	i++;
});