#include <stdio.h>

void Statics(char *s)
{
	int i,t[26] = {0};
	char *p = s;
	while(*p != '\0')
	{
		if(*p >= 'A' && *p <= 'Z')
		{
			t[*p - 65]++;
		}
		p++;
	}
	for(i = 0; i < 26; i++)
		printf("%c:%d\n",'A'+i,t[i]);
}

int main()
{
	char s[10000];
	while(scanf("%s",s) != EOF)
	{
		Statics(s);
	}
	
	return 0;
}