// Hello world in PHP
echo 'Hello World!';
?>