#include <stdio.h>
#include<string.h>
#define MAX 100
int main() {
	char A[] = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
	char S[100] = { 0 };
	while (scanf("%[^\n]%*c", S) != EOF) {
		for (int i = 0; i < strlen(A); i++) {
			int number = 0;
			for (int j = 0; j < strlen(S); j++) {
				if (A[i] == S[j]) number++;
			}
			printf("%c:%d\n", A[i], number);
		}
	}
	return 0;
}