el.htmlElement = el.$attributes = el = null; 
el.$attributes = null; 
	kill: function(el, unload){		delete Garbage.elements[String(el.$attributes.uid)];		if (el.$events) el.fireEvent('trash', unload).removeEvents();		for (var p in el.$attributes) el.$attributes[p] = null;		if (Client.Engine.ie){			for (var d in Element.prototype) el[d] = null;		}		el.htmlElement = el.$attributes = el = null;	},
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/1616cbc5fcd543c94f8d7a885c14f16f33dee3dd/Element.js/clean/Source/Element/Element.js