Domain d1yauf_: 1yau F: