__flash_unloadHandler = __flash_savedUnloadHandler = Class.empty; 
__flash_unloadHandler = __flash_savedUnloadHandler = $empty; 
		window.addEvent('beforeunload', function(){			__flash_unloadHandler = __flash_savedUnloadHandler = Class.empty;		});
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/bd5105adfd830c26f413831aa9525a329872bab5/Swiff.Base.js/buggy/Swiff/Swiff.Base.js