"misc/tools.php"; if (!$opts->query) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> </div> </form> <?php require_once "misc/header.php"; ?>