-val outpost_ip : (ip) = "74.115.254.28";
-val krunk_ip : (ip) = "69.90.123.70";
-val fyodor_ip : (ip) = "64.20.38.170";
+val navajos_ip : (ip) = "69.90.123.70";
+val bog_ip : (ip) = "69.90.123.72";
+val mccarthy_ip : (ip) = "69.90.123.73";
+val hopper_ip : (ip) = "69.90.123.74";
+val fritz_ip : (ip) = "69.90.123.75";
+
+val outpost_ip : (ip) = "151.236.216.192";
+
+(* val fyodor_ip : (ip) = "64.20.38.170"; *)