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); 
  match: function(element, selector) {    if (typeof selector == 'string')      selector = new Selector(selector);    return selector.match($(element));  },
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/110aa6ceb19f486c3930285023b66d3f23fdf6c4/prototype.js/buggy/wp-includes/js/prototype.js