"DNS server"@cs .