let's debug NameServer a little: 3