#include <stdio.h>
#include <time.h>

int main (int argc, char **argv) 
{
 printf ("Hello World!\n");
 return 4;
}