if (logging__) { this.lines.push(xmlEscapeText(s)); this.show(); } 
LOG.debug("xpath logging: " + s); 
Log.write = function(s) {  if (logging__) {    this.lines.push(xmlEscapeText(s));    this.show();  }};
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/5b7d0f445e4aa79f03d8ed4259e14bef5795cc5e/misc.js/clean/src/main/resources/core/xpath/misc.js