'; } else { echo ' '; } ?> <?php echo $html_title_str ?> '; } else { echo ' '; } ?>