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