<? to <?php