#include<stdio.h>

int main(void)
{
	char c[1024];
	gets(c);
	char *p=&c[0];
	char *q=p;
	int len=0;
	char *w[1024];
	int n=0;
	while(1){
		if(*p==','||*p==' '||*p=='.'||*p=='\n'||*p==EOF){
			char tmp=*p;
			if(2<len&&len<7){
				w[n]=q;
				*p='\0';
				n++;
			}
			if(tmp=='\n'||tmp==EOF){
				break;
			}
			len=0;
			p+=sizeof(char);
			q=p;
		}else{
			len++;
			p+=sizeof(char);
		}
	}
	printf("%s",w[0]);
	for(int i=1;i<n;i++){
		printf(" %s",w[i]);
	}printf("\n");
	return 0;
}