char S[1000];int n = 0, s = 0, c = 0;
scanf("%s", S);
int a = strlen(S);
for(int i = 8; i <= 16; i++){
for(int j = 0; j < a + 1 - i; j++){
for(int k = j; k < j + i; k++){
if(S[k] <= '9' && S[k] >= '0'){
n = 1;
}else{
s = 1;
}
if(S[k] == ' '){
n = 0;s = 0;
}
}
if(n == 1 && s == 1){
c++;
}
n = 0;s = 0;
}
}