#include <stdio.h>
int main()
{
    FILE *fp=fopen("xx.txt", "r");
    int digit=0, k=0, i=0, br=0;
    char str[100], zbor[20];
    while(fgets(str, 100, fp)){
        for(i=0; i<strlen(str)+1; i++){
            if(isdigit(str[i])){
                zbor[k]=str[i];
            k++;
            digit++;}
            else{
                zbor[k]='\0';
                k=0;
                if(strlen(zbor)>5){
                    printf("%d: %s\n",digit, zbor);
                    br++;}
                    digit=0;
            }
        }
    }

printf("%d", br);

    return 0;
}