Garbage.trash([this.empty().remove()]); 
Garbage.kill(this.empty().remove()); 
	destroy: function(){		Garbage.trash([this.empty().remove()]);		return null;	}
9494	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9494/efb4f770b56fdc035f18061222f0527b9b36ca5f/Element.js/clean/Native/Element.js