Index: /nodes/proxy13/wleiden.conf
===================================================================
--- /nodes/proxy13/wleiden.conf	(revision 8021)
+++ /nodes/proxy13/wleiden.conf	(revision 8022)
@@ -1,4 +1,4 @@
-$master_ip='172.20.146.1';
 
+$master_ip='172.16.3.96';
 $internalroute='172.16.3.97';
 $internalif='sis1';
@@ -26,5 +26,5 @@
 $config{'sis1'}=sprintf <<SIS1;  # link naar NodeRick
 TYPE=ethernet
-IP=172.16.3.98/30
+IP=$master_ip/30
 DESC=Link naar NodeRick
 SDESC=downlink