reduced <?php echo to <?=