function print_report_title() { echo '<div class="php_report_title">'.php_report::get_display_name().'</div>'; }