Index: tools/iris-8.0/wleiden.pl
===================================================================
--- tools/iris-8.0/wleiden.pl	(revision 7571)
+++ tools/iris-8.0/wleiden.pl	(revision 7574)
@@ -303,4 +303,6 @@
   "nameserver 172.16.3.146   # proxy6\n" .
   "nameserver 172.17.16.66   # proxy62\n" .
+  "nameserver 172.17.0.1     # proxy7\n" .
+  "nameserver 172.16.4.54    # proxy9\n" .
   "nameserver 172.22.0.66    # proxy10\n" .
   "nameserver 172.23.25.66   # proxy11\n" .