elements = elements.concat(this.getElementsByTagName(tag.trim())); 
elements.extend(this.getElementsByTagName(tag.trim())); 
		tags.each(function(tag){			elements = elements.concat(this.getElementsByTagName(tag.trim()));		}, this);
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/f67d2cfd8151d50a3aa3df00f8b5677b49b0ece3/Element.js/buggy/Source/Element/Element.js