#include <stdio.h>

int main() {
    int histogram[128];
    int c = 0;

    for (int i = 0; i < 128; ++i) {
        histogram[i] = 0;
    }

    while ((c = getchar()) != EOF) {
        histogram[c]++;
    }

    for (int i = 0; i < 128; ++i) {
        if ((histogram[i] >= 'a' && histogram[i] <= 'Z') && histogram[i] > 0) {
            printf("%3d: %d\n", i, histogram[i]);
        }
    }
}