* Use the nameserver given in the configuration file if any. * Use Google Public DNS only if the user does not nominate a nameserver.