Change to <?php for newer PHP5 compatibility