"Resolver" name servers are intended to be used by clients to map names to IP addresses. "Resolver" functions are separated from "server" functions to better manage the load on all of the servers. We have configured our 'authoritative' name servers to not resolve domains they don't support, so people should NOT use them as "resolver" servers. Instead, they should use

nameserver 141.211.144.17
nameserver 141.211.125.17

Macintoshes configure the resolver nameservers in the Network or TCP control panels, depending upon the operating system version.

Windows machines also use a Network control panel to configure the resolver nameservers, although it can be accessed through the "Dial-up" control panel, too.