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