process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var nums = chunk.split("\n");
    var output = "";
    
    for(var i = 0; i < nums.length; i ++){
        nums[i] = Number(nums[i]);
        if(nums[i] == 0){
            break;
        }
        output += "Case " + i + ": " + nums[i] + "\n"; 
    }
    console.log(output);
});