process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on('data', function (chunk) {
    var lines = chunk.toString().split('\n');//?????????????????´???split???????????????
    var x = lines; //???????????°?????????????????¨???????????¨???????????¨?????????????????????

    for (i = 0; i < x.length; i++)
        x[i] = parseInt(x[i]);//??°?????????????????????????????????

    for (i = 0; i < x.length; i++) {
        if (x[i] === 0){}
        else
        console.log("Case " + i + ": " + x[i]);
    }

});