#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;
}
}