process.stdin.resume();
process.stdin.setEncoding('utf-8');
process.stdin.on('data', function(chunk) {

var line = chunk.split(' ');
for (var i = 0; i < line.length; i++){
 if(line[i] == 0){
    break;
}
console.log('Case' + (i + 1) + ' ' + line[i]);
}


});