Ver originalif (isset($_SESSION['autenticado']) &&( $_SESSION['autenticado']== "ok"){echo $_SESSION["dispositivo"];