#include<stdio.h>

int main(void){

	char str[1000];
	int cnt=0,i;
	
	while(1){

		for(i=0;i<1000;i++)
			str[i]='\0';

		for(i=0;;i++){
			scanf("%c",&str[i]);
			if(str[i]=='\n')
				break;
		}
		if(str[0]=='E' && str[1]=='N' && str[2]=='D' && str[3]==' ' && str[4]=='O' && str[5]=='F' &&
			str[6]==' ' && str[7]=='I' && str[8]=='N' && str[9]=='P' && str[10]=='U' && str[11]=='T')
			break;

		for(i=0;str[i]!='\n';i++){
			if(str[i]==' '){
				if(str[i+1]==' '){
					printf("0");
					i++;
				}
			}
			else{
				int j=i;
				while(j<(i+10)){
					if(str[j]==' ' )
						break;
					else if(str[j]=='\0'){
						cnt=cnt-1;
						break;
					}
					cnt++;
					j++;
				}
				if(cnt!=0){
					printf("%d",cnt);
					i=i+(cnt-1);
					cnt=0;
				}
			}
		}

		printf("\n");
	
	}

	return 0;

}