replaced <? with <?php