# whois42d Whois server for the dn42 registry