/*
由于所给数字最大有1000位，显然long long也无能为力，解决策略是转换视角，将输入视为几个个位数加上一个换行
*/
#include<stdio.h>
int main(void)
{int number[10]={0};//利用下标0~9char op;scanf("%c",&op);while(op!='\n'){switch(op){case '0': number[0]++;break;case '1': number[1]++;break;case '2': number[2]++;break;case '3': number[3]++;break;case '4': number[4]++;break;case '5': number[5]++;break;case '6': number[6]++;break;case '7': number[7]++;break;case '8': number[8]++;break;case '9': number[9]++;break;}scanf("%c",&op);}for(int i=0;i<=9;i++){if(number[i]!=0) printf("%d:%d\n",i,number[i]);}return 0;
}