1000); } } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } require_once "misc/tools.php"; if (!$opts->query) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <?php require_once "misc/header.php"; require_once "misc/tools.php"; $url = $_REQUEST["url"]; $requested_root_domain =