Update HelloWorld.txt

a