Domain d1dx5i3: 1dx5 I:423-462