val marsh_private_ip : (ip) = "10.132.53.183";
val marsh_ipv6 : (ipv6) = "2604:a880:800:a1::8dc:4001";
+val minsky_ip : (ip) = "138.197.104.192";
+val minsky_private_ip : (ip) = "10.132.150.187";
+val minsky_ipv6 : (ipv6) = "2604:a880:800:a1::1232:e001";
+
+val shelob_ip : (ip) = "165.227.126.167";
+val shelob_private_ip : (ip) = "10.132.10.58";
+val shelob_ipv6 : (ipv6) = "2604:a880:800:a1::14a3:7001";
(* val fyodor_ip : (ip) = "64.20.38.170"; *)
val simpleWeb = \host -> \docroot -> web host where