function main(input){
    let i = 0;
    let x = input.split('\n').map(Number);
    while(x[i] !== 0){
    console.log('Case ' + (i+1) + ': ' + x[i] );
    i += 1;
    }
}
main(require("fs").readFileSync("/dev/stdin", "utf8"));
