var timer = setInterval(function(){ 
jQuery.timerId = setInterval(function(){ 
			var timer = setInterval(function(){				var timers = jQuery.timers;								for ( var i = 0; i < timers.length; i++ )					if ( !timers[i]() )						timers.splice(i--, 1);				if ( !timers.length )					clearInterval( timer );			}, 13);
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/b9371a6ca4b756c4b4266a08336e80f715b66ad3/fx.js/buggy/src/fx.js