rem: XRai.history.push(new Array("L",XRai.getTimeString(),null,null)); 
add: XRai.addHistory("LOAD"); window.addEventListener("blur", XRai.onblur, true); window.addEventListener("focus", XRai.onfocus, true); 
context: XRai.init = function() {   if (XRai.onmousedown) {      XRai.getRoot().addEventListener("mousedown",XRai.onmousedown,false);      XRai.getRoot().addEventListener("mouseup",XRai.onmouseup,false);   }   if (XRai.numberNodes) XRai.numberNodes();   XRai.loaded = true;   XRai.history.push(new Array("L",XRai.getTimeString(),null,null));}
meta: 8632	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8632/07a6aac453fc37870277d3b8b745ae35c071c17b/article.js/buggy/trunk/js/article.js