// 2019/12/18(水)

#include <stdio.h>

typedef char String[1024];

int main(void) {
    String minasan = "みなさん";
    printf("こんにちは%s\n", minasan);
    return 0;
}