what is the domain registry for fk?
(AND internet.top_level_domain_registry (JOIN internet.top_level_domain_registry.domains m.04700z))