#include <stdio.h>
#include <memory.h>
char end[]="END OF INPUT";
int main(void){
    int mozi,sum,temp,i,s,t,sign=0,line[100];
    for(;t=0,sign==0;){
        sign=1;
        memset(line,0,sizeof(line));
        for(s=0;(mozi=getchar())!='\n';){
            if(sign==1 && end[s++]!=mozi)
                sign=0;
            if(mozi!=' ')
                line[t++]=1;
            else
                line[t++]=0;
        }
        if(sign==0){
            for(sum=0,i=0;i<t;i++){
                if(line[i]==1)
                    sum++;
                if(line[i]==0||i==t-1){
                    printf("%d",sum);
                    sum=0;
                }
            }
            printf("\n");
        }
    }
    return 0;
}