render(); } ?>
number_format($execution_time, 3))) ?>