rem: return (host.search("/" + domain + "$/") != -1); 
add:  return (host.search(domain) != -1); 
context: function dnsDomainIs(host, domain) {    return (host.search("/" + domain + "$/") != -1);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/01e3f7007e4bfc370c385c04821c5c21fb63d151/nsProxyAutoConfig.js/clean/netwerk/base/src/nsProxyAutoConfig.js