<?php echo "hi\n" ?>
