makeString :: Int -> IO ()
makeString counter = do
    line <- getLine
    let num = read line
        newCounter = counter + 1
    if num /= 0
        then do 
            putStrLn $ "Case " ++ show counter ++ ": " ++ show num
            makeString newCounter
        else return ()
         
main = makeString 1

