var input = ""; 
process.stdin.setEncoding('utf-8');
process.stdin.on('data', (chunk) => {
  input += chunk
})

process.stdin.on('end', () => {
 
 var arr = input.split(' ').map(Number);

  for (var i = 0; i < arr.length && arr[i] != 0; i++) {
    var result = 'Case ' + (i + 1 ) + ': ' + arr[i];
    console.log(result);
  }
})
