process.stdin.resume();
process.stdin.setEncoding('utf8');
// TODO ????????????????????????
process.stdin.on('data', function (input) {
    input.split('?\n');
    //?????????????????´??°???????????????
    input.map(function (x) {
        return xArray = parseInt(x);
    })
    //??´??°????????????????????????????????¨???
    for (var i = 0; i < xArray.length; i++) {
        order = 'Case ' + i + ' ';
        console.log(order + x);

        //??¬????????\??????????????????0?????´?????????
        if (x === 0) {
            return
        }
    }
})