Inicio    Usuarios registrados"; session_destroy(); } else{ $sesion=session_id(); $nombre=$_SESSION["nombre"]; echo ""; }; ?> Usuario: $nombre $apellido Inicio    Administrar    Salir