modificado Debug.php