Index: dns/dnsheader.conf
===================================================================
--- dns/dnsheader.conf	(revision 4082)
+++ dns/dnsheader.conf	(revision 4094)
@@ -16,8 +16,7 @@
 
 #wleiden dns servers
-$ns_wl[0]='172.16.21.99';      #rambo lcpl
-$ns_wl[1]='172.17.8.68';       #proxy 1
-$ns_wl[2]='172.17.143.4';      #proxy 2
-$ns_wl[3]='172.20.128.98';     #proxy 3
+$ns_wl[0]='172.17.8.68';       #proxy 1
+$ns_wl[1]='172.17.143.4';      #proxy 2
+$ns_wl[2]='172.20.128.98';     #proxy 3
 
 #wZoeterwoude dns servers