#include int main(void){ char a[21]; fgets(a, sizeof(a), stdin); printf("Hello World!"); return 0; }