このドメインはsetarによって管理されている。