destroy(); // destroy session session_destroy(); // print logout message echo ("\n"); echo ("\n"); ?>

---