Domain d1tvxc_: 1tvx C: