process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data',function(chunk){

var line = chunk.toString().split(' ');
var x = parseInt(line[0],10);

for(var i = 0; i < line.length; i++ ){
if( [i]=== 0){break;}

console.log( 'Case '+(i+1)+': '+ x)
}
})