'use strict';
process.stdin.on('data', function(chunk) {
//  console.time('1');
  var data = chunk.toString().split('\n').map(Number);
  var index = 0;
  while (data[index] !== 0) {
      console.log('Case' , (index + 1) , ':' , data[index++]);
  }
//  console.timeEnd('1');
});

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