just replacing <? tags with <?php tags