'use strict';
process.stdin.on('data', function(chunk) {
  var inputs = chunk.toString().trim().split('\n');
 
   for (var i = 0; i < inputs.length;i++) {
	if (inputs[i]=== 0 ) {
		break;
	}
	console.log('Case9' + (i+1) + ': ' + inputs[i]);
  }


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