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