rem: var ip = dns.resolve(host); return ip; 
add: dnsResolveCachedIp = dns.resolve(host); 
context: function dnsResolve(host) {    try {        var ip = dns.resolve(host);        return ip;    }    catch (e) {}    return null;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/c75f83945ea261ffa9f119b0c8e7a3d88b1a79aa/nsProxyAutoConfig.js/clean/netwerk/base/src/nsProxyAutoConfig.js