<?php    if(!isset($_SESSION))    {        if(!isset($_SESSION))    {     session_start();     }      } 

session_destroy();
$pagina=$_SERVER['HTTP_REFERER'];
 header("Location:./index.php");
?>