>>140
#include <stdio.h>
#include <string.h>

int main()
{
    char buf[256], *ptr;
    int cnt[10], i;

    fgets(buf, sizeof(buf), stdin);

    for(i = 0; i < 10; i++){
        cnt[i] = 0;
    }

    for(ptr = buf; *ptr != '\0'; ptr++){
        if('0' <= *ptr && *ptr <= '9'){
            cnt[*ptr - '0']++;
        }
    }

    for(i = 0; i < 10; i++){
        printf("%d: %d\n", i, cnt[i]);
    }

    return 0;
}