#include <stdio.h>

int main(int argc, const char **argv)
{
	int count, i;
	int hits[256] = {0};
	char buf[256];

	while ((count = fread(buf, 1, sizeof buf, stdin))) {
		for (i=0; i<count; i++) {
			hits[buf[i]]++;
		}
	}

	for (i=0; i<256; i++) {
		if (hits[i]) printf("%3d: %d\n", i, hits[i]);
	}

	return 0;
}