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

const reader = require("readline").createInterface({
  input: process.stdin,
  output: process.stdout,
});

const lines = [];
reader.on("line", (line) => {
  lines.push(line);
});

reader.on("close", () => {
    lines.forEach((e,i)=> e!="0" && console.log(`Case ${i+1}: ${e}`))
});

