#include <iostream>
using namespace std;

int main() {
    int ASC[128]={0};
    string str;
    cin>>str;
    for(int i = 0;i<str.size();++i){
        ASC[str[i]]++;
    }
    for(char i=65;i<91;++i){//直接char强转
        cout<<i<<':'<<ASC[i]<<endl;//数组里面会自动转回int型
    }
}