function main(lines) {
  const input = lines.split('\n').filter(function(val){return (1<=val && val<=10000);})
  for(let i=0; i<input.length; i++){
      console.log('Case' + ' ' + (i+1) + ': ' + input[i])
  }
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));
