Routes to be added to a dual-homed node

Assuming that 137.138.0.0/255.255.0.0 is already routed over the same interface: This is for example in /etc/rc.local of web01

For cut and paste:

route add -net 128.142.0.0 netmask 255.255.0.0 eth1
route add -net 128.141.0.0 netmask 255.255.0.0 eth1
route add -net 172.16.0.0  netmask 255.240.0.0 eth1
route add -net 192.168.0.0 netmask 255.255.0.0 eth1