#include <stdio.h>

int main(void)
{
//	Prints "        Hello World" on the standard output.
 printf("\tHello World\n");

 return 0;
}