#include<stdio.h>
int main()
{
char str[1001];
int digit[10];
for (int i = 0; i < 10; i++)digit[i] = 0;
gets(str);
for (int i = 0; i < strlen(str); i++)digit[str[i] - '0']++;
for (int i = 0; i < 10; i++)
if (digit[i] != 0)printf("%d:%d\n", i, digit[i]);
return 0;
}