main =
  let 
    func i = do
      x <- readLn
      if x == 0   
        then putStr ""
        else do 
          putStrLn $ "Case " ++ (show i) ++ ": " ++ (show x)
          func (i+1)
    in func 1

