<?php echo do_shortcode(‘