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