'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');