#include<stdio.h>
#include<string.h>
char str[1000000],buf[10];
int t;
int main()
{
	for(;gets(str),!strstr(str,"END OF INPUT");)
	{
		for(;str[0]&&~sscanf(str,"%[^ \n]",buf);)
		{
			t=strlen(buf);
			printf("%d",t);
			memmove(str,str+t+(t==0?2:1),sizeof(str));
			memset(buf,0,40);
		}
		puts("");
	}
	return 0;
}