import Data.Functor ((<$>))

main :: IO ()
main = do
  xs <- takeWhile (/=0) . map read . lines <$> getContents
  let cases = zipWith (\i x -> "Case " ++ show i ++ ": " ++ show x) [1..] xs
  mapM_ putStrLn cases

