context: XRai.incrementAttribute = function(e,x) {   var a = e.getAttribute(x);   a = a == null ? 0 : parseInt(a);   e.setAttribute(x,a+1);//    window.dump(XRai.getPath(e) + " - " + x + " - " + e.getAttribute(x) + "\n");}
meta: 8632	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8632/118a48a7c56edb8af49d2c17b204d65bb2149adb/article.js/clean/trunk/js/article.js