Domain d6jexb_: 6jex B: