destroy(); // destroy session session_destroy(); // print logout message ?>

---