-val krunk_ip : (ip) = "69.90.123.70";
-val outpost_ip : (ip) = "89.16.166.179";
-val fyodor_ip : (ip) = "64.20.38.170";
+val navajos_ip : (ip) = "69.90.123.70";
+val outpost_ip : (ip) = "74.115.254.28";
+
+(* val fyodor_ip : (ip) = "64.20.38.170"; *)