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