'use strict';
process.stdin.on('data', function(chunk) {
    var inputs = data.toString().trim().split('\n');

    for (var i = 0; i < inputs.length; i++) {
        if (inputs[i] === '0') {
            break;
        }
        console.log('Case ' + (index + 1) + ': ' + inputs[i]);
    }
});
process.stdin.resume();
process.stdin.setEncoding('utf8');