session_start(); if(isset($_SESSION['admin'])){ echo "bienvenido administrador: ".$_SESSION['admin']." <a href=destruir.php>Cerrar session</a>"; header("Location: archiprin.php"); } else {