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