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

process.stdin.on('data', function (chunk) {
    var line = chunk.split(' ');
    var x = Number(line[0]);
    
for (var i = 0; i < x.length; i++){
 if(x === 0){break;}
}
 console.log("Case"+ i +":"+x);   
});