destroy(); // destroy session session_destroy(); // print logout message echo $_SESSION['header']; ?>

---