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

---