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