add /* and <?php