session_start( );
$_SESSION['username'] = 'Michele';
session_destroy( );
echo "At this point we can still see the value of username as ";
echo $_SESSION['username']."
";
unset ($_SESSION['username');
if (is_null($_SESSION['username'])) {
echo "Now the value of username is (blank)";
}
?>