var input= require('fs').readFileSync('/dev/stdin', 'utf8').split("\n").map(Number);
console.log(input.map(function(x, i, a) {
    return x == 0 ? '' : 'Case ' + (i + 1) + ': ' + x;
}).join('\n') + '\n');