#include <stdio.h>

extern void message();


int main()
{
	printf("\nHello World!\n");
	message();
}