if (typeof host != "string") host = new XPCSafeJSObjectWrapper(host).toString();  
function dnsResolve(host) {    try {        return dns.resolve(host, 0).getNextAddrAsString();    } catch (e) {        return null;    }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/db38a1aa8a67d48687bc58b0a2dae6a9b0d3b3c9/nsProxyAutoConfig.js/clean/netwerk/base/src/nsProxyAutoConfig.js