timer = window.setInterval(function() { 
(function() { /* Support for the DOMContentLoaded event is based on work by Dan Webb, Matthias Miller, Dean Edwards and John Resig. */  var timer, fired = false;  function fireContentLoadedEvent() { if (fired) return; if (timer) window.clearInterval(timer); document.fire("contentloaded"); fired = true; }  if (document.addEventListener) { if (Prototype.Browser.WebKit) { timer = window.setInterval(function() { 
      timer = window.setInterval(function() {        if (/loaded|complete/.test(document.readyState))          fireContentLoadedEvent();      }, 0);
5582	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5582/cbaec757e2064d53466aea82c2ca25238ce84004/event.js/buggy/src/event.js