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