<?php
  echo "hello\n";
?>