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


int main(){
	char ss[1000],out[1000],syuu[16];
	int i,j,a,flag;
	strcpy(syuu,"END OF INPUT");
	
	while(fgets(ss,sizeof(ss),stdin)!=NULL){
				
		for(i=0;;i++){
			if(ss[i]=='\0')break;
			if(ss[i]<32)ss[i]='\0';
		}
		
		if(0==strcmp(ss,syuu))break;
		
		i=0;
		j=0;
		flag=0;
		if(ss[0]==' '){
			flag=1;
			out[0]=0+'0';
			i=1;
			j=1;
			out[1]='\0';
		}

		while(1){
			if(ss[i]=='\0')break;
			if(0!=i)++i;
			if(flag==1){
				--i;
				flag=0;
			}
			for(a=0;;a++){
				if(ss[a+i]==' ' || ss[a+i]=='\0')break;
			}
			
			out[j]=a+'0';
			out[j+1]='\0';
			if(ss[a+i]=='\n')--out[j];
			++j;
			i=i+a;
		}
		printf("%s\n",out);
	}
	return 0;
}