import Data.List

main :: IO ()
main = do 
    getLines 1

getLines :: Int -> IO ()
getLines i  = do
    n <- getLine
    if n == "0" then return () 
    else do
        putStrLn ("Case " ++ show i ++ ": " ++ n)
        getLines $ i + 1