if (typeof swf[p] == 'function') swf[p] = Class.empty; 
if (typeof swf[p] == 'function') swf[p] = $empty; 
			Array.each(document.getElementsByTagName('object'), function(swf){				swf.style.display = 'none';				for (var p in swf){					if (typeof swf[p] == 'function') swf[p] = Class.empty;				}			});
5733	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5733/bd5105adfd830c26f413831aa9525a329872bab5/Swiff.Base.js/buggy/Swiff/Swiff.Base.js