#include <stdio.h>

int
main()
{
	const char *sys = "GNU/Any";

	printf("Hello World %s!\n", sys);

	return 0;
}