Show me some code in python for a simple "Hello World" script