var std = process.stdin;
std.resume();
std.setEncoding('utf8');
std.on('data', function (chunk) {
    var data = chunk.split(/\n/).map(Number);
    var i = 0;
    var output = '';
    while (data[i] !== 0) {
        output += 'Case ' + (i + 1) + ': ' + data[i] + '\n';
        i++;
    }
    console.log(output);
});