import Control.Applicative
import Data.Char

main = do s <- map toLower . filter isAlpha <$> getContents
          putStr . unlines . map toOut $ [(c,n)|c<-['a'..'z'],let n=length $ filter (==c) s]

toOut :: (Char,Int) -> String
toOut (c,n) = c : " : " ++ (show n)