jce domain had changed the ip of their server from 62.90.88.200 to 62.90.88.12 , and found out that "This LON-CAPA server is temporarily not available for login". Where do they need to update the new IP number? Guy.