process.stdin.resume();
var x = '';
process.stdin.setEncoding('utf-8');
process.stdin.on('data', function (input) {
    x += input;
});

process.stdin.on('end', function () {
    var xArray = x.split('\n');
    var output = [];
    for(var i = 0; i < xArray.length; i++) {
        str = 'Case ' + (i+1) + ': ' + xArray[i];
        console.log(str);
        if(xArray[i] == 0){
            break;
        }
    }
});