. $category . " result" />" . TEXTS["category_$category"] . "</a>"; } ?> <title> <?php echo $opts->disable_frontends ? "checked" : ""; $options .= "<option value=""