'use strict';
process.stdin.on('data', function(chunk) {
  var lines = chunk.toString().split('\n');
  var result = (function(data) {
    var tmp = [];
    var index = 0;
    while (true) {
      if (data[index] === 0) break;
      tmp[index] = 'Case ' + (index + 1) + ': ' + data[index++];
    }
    return tmp.join('\n');
  }(lines.map(Number)
  ));

  console.log(result);
});

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