process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (inputString)
{
    const dataArray = inputString.split(/\r\n|\r|\n/);
    let dataCount = 1;

    dataArray.forEach(function(val,index){
        const x = Number(val);
            if(x !== 0){
                const result = 'Case ' + dataCount + ': ' + x;
                dataCount++;
                console.log(result);
                }
        });

});
