int main()
{
char string[1000];
gets(string);
char *head,*last;
head = last = string;
while(*head == ' ') ++head;
while(head != NULL){
last = head;
head = strchr(head,' ');
if(head != NULL){
if(head - last)
printf("%d ",head - last);
++head;
} else {
int i=0;
while(*last != '\0'){
++i;
++last;
}
printf("%d ",i);
}
}
return 0;
}