#include <stdio.h>
int
main
(
int
argc
,
char
**
argv
)
{
fprintf
(
stdout
,
"Hello World
\n
"
);
return
0
;
}