michael@0: // Binary: cache/js-dbg-64-e1257570fef8-linux
michael@0: // Flags:
michael@0: //
michael@0: var a = [];
michael@0: function addEventListener(e, f, g)
michael@0: {
michael@0:   a.push(f);
michael@0: }
michael@0: function setTimeout(f, t)
michael@0: {
michael@0:   a.push(f);
michael@0: }
michael@0: var b;
michael@0: this.document = {};
michael@0: function e(w) {
michael@0:   addEventListener("mousedown", d, true);
michael@0:   function d() {
michael@0:     var d;
michael@0:     w.setTimeout(function() {
michael@0:         b(d);
michael@0:       }, 0);
michael@0:   }
michael@0:   function b(d){
michael@0:     w.document;  /* Crash Here!! */
michael@0:   }
michael@0: }
michael@0: e(this);
michael@0: a[0]();
michael@0: a[1]();