Domain d1vkef_: 1vke F: