#include int main(void) { char c[256]; scanf("%s", c); printf("Hello World!\n"); return 0; }