#include <stdio.h>

int main()
{
  int nthread = 1;
  int ithread = 1;
  printf("Hello World from %d of %d!\n", ithread, nthread);

  return 0;
}