Domain d1fz2f_: 1fz2 F: