$(document).ready(function(){
setIPv4("3.143.203.223"); IPv4Ready = true;});