Hello world in python