int main(){write(0,"Hallo, Welt.\n",13);}