(function(stdin){
	var lines = stdin.toString().split('\n').map(Number);
	var i = 0;
	while(lines[i] != 0){
		console.log("case "+(i+1)+": "+lines[i]);
		i++;
	}
}(require('fs').readFileSync('/dev/stdin','utf8')));