import           Control.Monad
import           Data.Functor
import           Text.Printf   (printf)

main :: IO ()
main = do
    xs <- takeWhile (/= 0) . fmap read . lines <$> getContents :: IO [Int]
    forM_ (zip [1 ..] xs) $ \(i, x) -> do
        printf "Case %d: %d\n" (i :: Int) x

