if (window.ie) window.addEvent('unload', CollectGarbage); 
if (window.ie) window.addListener('unload', CollectGarbage); 
window.addListener('beforeunload', function(){	window.addListener('unload', Garbage.empty);	if (window.ie) window.addEvent('unload', CollectGarbage);});
9299	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9299/2f4a5661607249be746787d90cc722155ac536a4/Element.js/clean/Native/Element.js