#import <stdio.h>
int main() {
    char a,b,c,d,e, f, g,h,i,j,k,l,m, n, o,p,q,r,s;
    scanf("%c%c%c%c%c%c%c%c%c%c%c%c%c%c%c%c%c%c%c",&a,&b,&c,&d,&e,&f,&g,&h,&i,&j,&k,&l,&m,&n,&o,&p,&q,&r,&s);
    printf("%c%c%c%c%c %c%c%c%c%c%c%c %c%c%c%c%c", a,b,c,d,e, g,h,i,j,k,l,m, o,p,q,r,s);
}
