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