
function main() {
    var output[];
    for(var i = 0; i < inputData.length; i++) {
        if(0 != inputData[i]) {
            output.push('Case ' + (i + 1) + ': ' + inputData[i]);
        }
    }
    console.log(output.join('\n'));
  }
  
  var input = '';  
  process.stdin.resume();
  process.stdin.setEncoding('utf8');
  process.stdin.on('data', function(chunk) {
    input += chunk;
  });
  process.stdin.on('end', function() {
    const inputData = input.split('\n');
    main();
  });