<?php
echo
"Hello world!"
;
?>