#include <stdio.h>

int main(void)
{
	putchar(14);
	printf(p"Hello World\n");

	return 0;
}