[6r17]

so you don't have to look it up every time you need to change the DNS configuration.