fixing example3.php to use <?php instead of shortcut