add: dump("nsProxyAutoConfig.js: weekdayRange function deprecated or not implemented\n"); 
context: function weekdayRange(wd1, wd2, gmt) {    return false;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/01e3f7007e4bfc370c385c04821c5c21fb63d151/nsProxyAutoConfig.js/buggy/netwerk/base/src/nsProxyAutoConfig.js