var x = require('fs').readFileSync('/dev/stdin', 'utf8');
var y = x.split('\n').map(Number);
for(var i=0; i<10000; i++){
    if(y[i] !== 0){
        console.log('Case ' + (i+1) +  ': ' + y[i]);
    }
}
