#include<stdio.h>
int main(void){
char s[] = "Hello World!";
printf("%s", s);

return 0;
}