process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split(' ');
    var kazulist =[];
    kazulist = lines; //???????????°?????????????????????typeof???object
    
    for(i=0; i<kazulist.length; i++)
        kazulist[i] = parseInt(kazulist[i], 10);
    
    for(var i = 0; i<kazulist.length; i++){
        if(kazulist[i] == 0)
            break;
        console.log("Case "+(i+1)+ ": "+kazulist[i]);
    }
});