Garbage.elements.remove(el); 
	trash: function(elements){		for (var i = 0, j = elements.length, el; i < j; i++){			if (!(el = elements[i]) || !el.$tmp) continue;			if (el.$events) el.fireEvent('trash').removeEvents();			for (var p in el.$tmp) el.$tmp[p] = null;			for (var p in Element.prototype) el[p] = null;			el.htmlElement = el.$tmp = el = null;			Garbage.elements.remove(el);		}	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/a2d74a8ef9eb2938026367560f451c8b7768acd5/Element.js/buggy/Native/Element.js