>
<?php echo $title ?>
javascript"); ?>
>
dirroot/theme/languagetool/languagetool.php"); ?>
 ?>/images/header_bar.gif){kind=small}