convert <% to <?php