process.stdin.on('data', function(chunk) {
  var inputs = chunk.toString().trim().split('\r\n');

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