if (debugEnabled()) 
if (DEBUG) 
function dumpn(str){  if (debugEnabled())    dump(str + "\n");}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/93e94c1015388dfc2c56a0720e4bee8fc9361801/httpd.js/buggy/netwerk/test/httpserver/httpd.js