rem: document.getElementById('saving_div').style.visibility = 'hidden' 
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));   document.getElementById('saving_div').style.visibility = 'hidden'}
meta: 8632	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8632/8632c81759b814f89006c6c3b97f75376db6b3d3/article.js/clean/trunk/js/article.js