process.stdin.resume();
process.stdin.setEncoding('utf8');

process.stdin.on('data', function (chunk) {
    const n = chunk.toString();
    const arr = n.split('\n');
    for(var i=0; i < arr.length; i++){
        if(arr[i]!=0){
            console.log(`Case ${i+1}: ${arr[i]}`);
        }
    }
})
