#include<stdio.h>
#include<string.h>
int main()
{
char a[1001];
int b[11] = {0};
int c[11] = { 0 };
fgets(a,1001,stdin);
int len = strlen(a);
for (int i = 0; i < len; i++)
{
switch (a[i])
{
case '0': c[0]++; b[0]++; break;
case '1': c[1]++; b[1]++; break;
case '2': c[2]++; b[2]++; break;
case '3': c[3]++; b[3]++; break;
case '4': c[4]++; b[4]++; break;
case '5': c[5]++; b[5]++; break;
case '6': c[6]++; b[6]++; break;
case '7': c[7]++; b[7]++; break;
case '8': c[8]++; b[8]++; break;
case '9': c[9]++; b[9]++; break;
}
}
for (int i = 0; i <= 9; i++)
{
if(c[i]!=0)
printf("%d:%d\n",i,b[i]);
}
return 0;
}