process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split('\n');
	for(i=0; lines[i] !== 0 ; i++){
		console.log("Case "+(i+1)+": "+lines[i]);
	}
});