Domain d4kpsc_: 4kps C: