Garbage.collect(window); Garbage.collect(document); for (var uid in Garbage.elements) Garbage.kill(Garbage.elements[uid], true); 
for (var uid in Garbage.Elements) Garbage.kill(Garbage.Elements[uid]); 
	empty: function(){		Garbage.collect(window);		Garbage.collect(document);		for (var uid in Garbage.elements) Garbage.kill(Garbage.elements[uid], true);	}
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/1616cbc5fcd543c94f8d7a885c14f16f33dee3dd/Element.js/clean/Source/Element/Element.js