<? session_start(); if (!isset($_SESSION['autenticado'])) { header("Location: destruir_sesion.php"); exit; } .... ?>