<?php

// Example 2167 (from php.net)

// Initialize the session.
// If you are using session_name("something"), don't forget it now!
session_start();

// Unset all of the session variables.
$_SESSION = array();

// If it's desired to kill the session, also delete the session cookie.
// Note: This will destroy the session, and not just the session data!
if (isset($_COOKIE[session_name()])) {
    setcookie(session_name(), '', time()-42000, '/');
}

// Finally, destroy the session.
session_destroy();

// OK, my contribution to the advancement of mankind ..
header("Location: http://www.cs.miami.edu/~burt/learning/Csc598.073/workbook/example2164.php") ;
?>