1.	<?php // Script 9.7 - logout.php
2.	/* This is the logout page. It destroys the session information. */
3.	
4.	// Need the session:
5.	session_start();
6.	
7.	// Delete the session variable:
8.	unset($_SESSION);
9.	
10.	// Destroy the session data:
11.	session_destroy();
12.	
13.	// Define a page title and include the header:
14.	define('TITLE', 'Logout');
15.	require('templates/header.html');
16.	
17.	?>
18.	
19.	<h1>Welcome to the Elliott Smith Fan Club!</h1>
20.	<p>You are now logged out.</p>
21.	<p>Thank you for using this site. We hope that you liked it.<br />
22.	Blah, blah, blah...
23.	Blah, blah, blah...</p>
24.	
25.	<?php require ('templates/footer.html'); ?>