process.stdin.resume();
process.stdin.setEncoding('utf8');

process.stdin.on('data', function (chunk) {
   var line = chunk.toString().trim().split('\n').map(Number);
    
    
for (var i = 0; i < line.length; i++){
 if(line[i] === 0){break;}

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