Domain d1xcof_: 1xco F: