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