#include <stdio.h>

char s1[] = "Hello ";
char s2[] = "world!";

int main(void) {
    scanf("%6s",s1);
    printf("s1 = %s\n",s1);
    printf("s2 = %s\n",s2);
    return 0;
}