#include<stdio.h>

int main()
{
	printf("%s\n", HELLO_WORLD);
	return 0;
}