Update hello_world.pl

bad merge!!