
const gInput = require('fs').readFileSync('/dev/stdin', 'utf8')
const input = gInput.split('\n').map( x => parseInt(x))

var id = 1
for(var i =0 ;i<input.length;i++){
    if( input[i] == 0){ break }
    process.stdout.write(`Case ${id}: ${input[i]}\n`)
    id++
}
