let input = require('fs').readFileSync('/dev/stdin', 'utf8');
let num = input.split('\n').map(Number);
for (let i = 0; i < num.length; i++) {
    if (num[i] === 0) {
        break;
    }
    console.log('Case' + ' ' + (i + 1) + ':' + ' ' + num[i]);
}

