Domain d1ex6a_: 1ex6 A: