#include <stdio.h>

int main (void) {
	printf("Hallo Welt!");
	getchar();
	return 0;
}