#include <stdio.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;
        for(sum=0,s=0;sum++,(mozi=getchar())!='\n';){
            if(sign==1 && end[s++]!=mozi)
                sign=0;
            if(mozi!=' ' && temp==' '){
                line[t++]=sum-2;
                sum=1;
            }
            temp=mozi;
        }
        if(sign==0){
            for(i=0;i<t;i++)
                printf("%d",line[i]);
            printf("%d\n",sum-1);
        }
    }
    return 0;
}