host = safeToString(host);  
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/dbf1be57b832a0c182b6d28befbf249948439e4f/nsProxyAutoConfig.js/buggy/netwerk/base/src/nsProxyAutoConfig.js