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

var line = chunk.toString().split(' ');

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

console.log( 'Case '+(i+1)+': '+ line[i])
}
})