001
002
003
004
005
006
007
008
009
010
011
012
013
014
015
016
017

	session_start();

	session_destroy();

	if ( isset($_GET['file']) ) {
		$file = $_GET['file'];
		$file = "../{$file}/{$file}.php";
		echo "<meta http-equiv='refresh' content='0; url={$file}'>";
	}

?>