rem: return dns.resolve(host, false).getNextAddrAsString(); 
add: return dns.resolve(host, 0).getNextAddrAsString(); 
context: function dnsResolve(host) {    try {        return dns.resolve(host, false).getNextAddrAsString();    } catch (e) {        return null;    }}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/62b71377aff39abcfd1d38bfd3cfeedbbeed498c/nsProxyAutoConfig.js/buggy/netwerk/base/src/nsProxyAutoConfig.js