Changed shorthand <? to <?php due to problems in some PHP interpreters