add: JXTK.Backend().reloadTrigger = displayreload; 
context: function mainload() {	document.getElementById("loading").style.display = "block";	setTimeout(continueload, 100);}
meta: 6551	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/6551/fda0968c105dd67c93ca1ead026253af69c97bff/main.js/buggy/HTML/ExBrowse2/html/main.js