destroy(); unset($_SESSION["user"]); header("Location: index.php"); ?>