#include <stdio.h>
#include <string.h>

int main()
{
    char C=1;
    int ASCII_COUNT[128]={0};
    
    C=getchar();
    while(C!='\n')
    {
        ASCII_COUNT[C]++;
        C=getchar();
    }
    for(int i=0;i<(int)('Z'-'A'+1);i++)
    {
        printf("%c:%d\n",'A'+i,ASCII_COUNT['A'+i]);
    }
    return 0;
}