A simple Hello World program in Python.