'use strict';
process.stdin.on('data', function(chunk) {
  // ????????????????????????
  var inputs = chunk.toString().trim().split('\n').map(Number);
  for (var i = 0; i < inputs.length; i++) {
    if (inputs[i] === 0) {
      break;
    }
    console.log('Case ' + (i + 1) + ': ' + inputs[i]);
  }

});
process.stdin.resume();
process.stdin.setEncoding('utf8');