#include<stdio.h>
#include<string.h>
int main(void) {
int i, a[10] = { 0 }, max = 0;
char ch[1001];
scanf("%s", ch);
for (i = 0; i < strlen(ch); i++){
a[ch[i] - '0']++;
}
for (i = 9; i >= 0; i--) {
if (a[i] > 0 && max < i)
max = i;
}
for (i = 0; i < 10; i++) {
if (a[i] != 0) {
printf("%d:%d", i, a[i]);
if (i != max)
printf("\n");
}
}
return 0;
}