#include<stdio.h>
#include<string.h>
int main(){
	int h,i,pre;
	char s[2000];
	while(1){
		gets(s);
		if(strcmp("END OF INPUT",s)==0)
		break;
		
		pre=0;
		
		h=strlen(s);
		for(i=0;i<h+1;i++){
			if(s[i]==' '){
					printf("%d",i-pre);
					pre=i+1;
					if(s[i+1]==' '){
					printf("0");
					i++;
					pre++;
				}
			}
			else if(s[i]=='\0'){
				printf("%d",i-pre);
				break;
			}
		}
		printf("\n");
		
	}
	
	
	
	
	
	return 0;
}