#include<stdio.h>
#include<string.h>
char str[1000000],buf[10];
int t,i;
int main()
{
	for(;gets(str),!strstr(str,"END OF INPUT");)
	{
		for(i=t=0;str[i];i++)
		{
			for(;str[i]&&str[i]!=' ';i++);
			if(t!=i)
				printf("%d",i-t);
			t=i;
			for(;str[i]&&str[i]==' ';i++);
			if(i-t>1)
				for(int j=0;j<i-t;j++)
					putchar('0');
			t=i;
		}
		memset(str,0,sizeof(str));
		puts("");
	}
	return 0;
}