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

process.stdin.on('end', function() {
  input = input.split("\n");
  i = 0
  for (var line of input) {
    arr = line.split(" ")
    i ++
    if (arr[0] != 0) {
      console.log("Case " + i + ": " + arr[0]);
    }
  }
});