Hallo world in python