'use strict';
(function(stdin) {
  var lines  = stdin.toString().split('\n');
  var result = (function(data) {
  	var result = [];
  	var index = 0;
    while (data[index] !== 0) {
    	result.push('Case ' + (index + 1) + ': ' + data[index++]);
    }
    return result.join('\n');
  }(lines.map(Number)
  ));
  console.log(result);
}(require('fs').readFileSync('/dev/stdin', 'utf8')));