var input= require('fs').readFileSync('/dev/stdin', 'utf8');
var Arr=input.split("\n").map(Number);
var str="";
for(var i=0;i<Arr.length;i++){
if(Arr[i]===0)break;
str+="Case "+(i+1)+": "+Arr[i]+"\n";
}
console.log(str.trim());