let () =
  let rec doit i =
    match read_int () with
    | 0 -> ()
    | n -> begin
        Printf.printf "Case %d: %d\n" i n;
        doit (i + 1)
      end
  in
  try doit 1 with End_of_file -> ()