<?php
	session_start();
	$page = $_SESSION["page"];
	$_SESSION = array();
	setcookie(session_name(), '', time()-42000, '/');
	session_destroy();
	header("location: " . $page);
?>