<?php

echo "Hello world!\n";