//设置代理服务器
import console;
import inet.ipdata;
import web.rest.jsonClient;
//第二个构造参数指定代理服务器
//代理配置格式: https://www.aardio.com/zh-cn/doc/library-guide/std/inet/proxy
var http = web.rest.jsonClient(,"socks=127.0.0.1:1081");
//声明 HTTP 接口对象
//声明 API，参数 @3 指定的模式串用于匹配返回数据
var api = http.api("http://myip.ipip.net",,"(\d+\.\d+\.\d+\.\d+)");
//发送 GET 请求
var ip = api.get();
//显示 IP 所在地
console.log( inet.ipdata().query(ip) )
console.pause(true);