Index: /tools/iris-8.0/wleiden.pl
===================================================================
--- /tools/iris-8.0/wleiden.pl	(revision 7517)
+++ /tools/iris-8.0/wleiden.pl	(revision 7519)
@@ -300,5 +300,7 @@
   "nameserver 172.16.3.146   # proxy6\n" .
   "nameserver 172.17.16.66   # proxy62\n" .
-  "nameserver 172.22.0.66    # proxy_zwaluw\n";
+  "nameserver 172.22.0.66    # proxy10\n" .
+  "nameserver 172.23.25.66   # proxy11\n" .
+  "nameserver 172.17.169.66  # proxy97\n";
 
   return($output);