Domain d1udva_: 1udv A: