Garbage.elements = []; 
	empty: function(){		Garbage.collect(window);		Garbage.collect(document);		Garbage.trash(Garbage.elements);		Garbage.elements = [];	}
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/60ceec12ce10d0021711666ff300a957c2e364a4/Element.js/buggy/Native/Element.js