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