> <?php echo tarski_doctitle(); ?>