<?
	// logout.php - destroy session
	session_start();
	// Unset the session variables.
	session_unset();
	// destroy the session.
	session_destroy();
?>
<html><body onload="javascript:window.close();window.location.href='error.php?ec=3';"></body></html>