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