+val navajos_ip : (ip) = "69.90.123.70";
+val bog_ip : (ip) = "69.90.123.72";
+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"; *)