host = safeToString(host); 
if (typeof host != "string") host = new XPCSafeJSObjectWrapper(host).toString(); 
function dnsResolve(host) {    host = safeToString(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/f9741f2e196aeba1326aa97413e72a9def580a01/nsProxyAutoConfig.js/clean/netwerk/base/src/nsProxyAutoConfig.js