";
echo "You have successfully logged out.";
?>