int putchar(int c);
int main(void) {
	putchar(72);
	putchar(101);
	putchar(108);
	putchar(108);
	putchar(111);
	putchar(44);
	putchar(32);
	putchar(87);
	putchar(111);
	putchar(114);
	putchar(108);
	putchar(100);
	putchar(33);
	putchar(10);
}