#include <stdio.h>
#include <string.h>

int main(void)
{
	int i;
	int j, k;
	char str[2048];
	char stra[2048];
	
	fgets(str, 1024, stdin);
	
	stra[0] = '\0';
	k = 0;
	i = 0;
	while (str[i] != '\0'){
		if (str[i] == ' ' || str[i] == '.' || str[i] == ','){
			if (i - k > 2 && i - k < 7){
				if (strlen(stra) == 0){
					strncat(stra, &str[k], i - k);
				}
				else {
					strcat(stra, " ");
					strncat(stra, &str[k], i - k);
				}
			}
			k = i + 1;
		}
		i++;
	}
	printf("%s\n", stra);
	
	return (0);
}