#include <stdio.h>
#include <string.h>
int main(void){
    char line[1025];
    char sign[4]=" ,.";
    char *ans;
    int i=0,len;
    fgets(line,1025,stdin);
    while(line[i++]);
    line[i-2]=0;
    ans=strtok(line,sign);
    len=strlen(ans);
    if(len >= 3 && len <= 6)
            printf("%s",ans);
    for(;ans=strtok(NULL,sign);){
        len=strlen(ans);
        if(len >= 3 && len <= 6)
            printf(" %s",ans);
    }
    puts("");
    return 0;
}