A Hello World Example in PHP