if (!empty($value)) { setcookie($key, "", time() - 1000); } } } if (isset($_REQUEST["save"])) { foreach($_POST as $key=>$value) { if (!empty($value)) { setcookie($key, "", time() - 1000); } } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } require_once "misc/tools.php"; if (!$opts->query) { echo "<div>"; echo "<a " . (!isset($opts->engine) ? "selected" : "") . "href="./search.php?q=" . urlencode($opts->query) . "&p=0&t=" . $category_index . ""><img src="static/images/" . $category . " result" />" . TEXTS["category_$category"] . "</a>";