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

  console.log(result);
});

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