'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;
      console.log('Case ',(index + 1),': ',data[index++]);
    }
    return tmp.join('\n');
  }(lines.map(Number)
  ));

//  console.log(result);
});

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