#include<bits/stdc++.h>
using namespace std;
int main(){
    char ch;
    ch=getchar();
    int arr[123]={0};
    while(ch!=EOF){
        if(ch>=97 && ch<=122){
            arr[(int)ch]++;
        }
        ch=getchar();
    } 
    for(int i=97;i<=122;i++){
        if(arr[i])  cout<<(char)i<<':'<<arr[i]<<endl;
    }
}