<!DOCTYPE html>
<html>
<body>
<?php
$x = 17;
if ($x !== 6) {
echo "Hello world!";
}
?>
</body>
</html>