match: function(element) { return this.findElements(document).include(element); 
match: function(element, selector) { if (typeof selector == 'string') selector = new Selector(selector); return selector.match($(element)); 
  match: function(element) {    return this.findElements(document).include(element);  },
4053	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4053/99db091466168b09f46c79ff71f0e07c7fd4a8db/prototype.js/clean/lib/prototype.js