#include<stdio.h>
#include<string.h>
main(){
  char str[10000];
  int i,l,j,sum;
  while(1){
    fgets(str,9999,stdin);
    l=strlen(str);
    str[l-1]='\0';
    if(strcmp(str,"END OF INPUT")==0)return 0;

    for(i=0,sum=0,j=1;i<l;i++,j++){
      if(str[i]!=' '&&str[i+1]==' '||i==l-2){
	printf("%d",j);
	j=0;i++;
      }else if(str[i]==' '){
	for(j=0;str[i+1]==' '&&i<l;i++);
	printf("%d",0);
      }
    }
    puts("");
  }
  return 0;
}