host = safeToString(host);  
function dnsResolve(host) {    host = safeToString(host);    try {        return dns.resolve(host, 0).getNextAddrAsString();    } catch (e) {        return null;    }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/0aa15eabb2a9eda2968bd87b11d6e74c83183616/nsProxyAutoConfig.js/clean/netwerk/base/src/nsProxyAutoConfig.js