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