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