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