#include<stdio.h>
int main(){
	long k;
	int s[10]={0};
	int i,count=0;
	scanf("%d",&k);
	do{
		i=k%10;
		s[i]++;
		k/=10;
	}while(k>0);
	for(i=0;i<10;i++){
		if(s[i]>0){
			count++;
			if(count==1) 
				printf("%d:%d",i,s[i]);
			else
				printf("\n%d:%d",i,s[i]);
		}
	}
	return 0;
}