#include <stdio.h>

int main(void) {
  int a = 5;
  printf("Hello World %d!\n", a);
  return 0;
}