rem: DOM_Events.addListener('mousedown', function() { DOM_Events.clickPatch.enable(); }, true, document); 
add: document.addEventListener('load', function() { window.clearInterval(patchTimer); patchElement(); }, false); 
context: 			DOM_Events.addListener('mousedown', function() {				DOM_Events.clickPatch.enable();			}, true, document);
meta: 7226	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7226/0aaaabe414c618dcd68f9c99f7861964b774037c/DOM-Compat.js/buggy/templates/DOM-Compat/DOM-Compat.js