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