#include <stdio.h>
void () {
printf("HelloWorld!");
return 0;
}