rem: if ( !timers.length ) clearInterval( timer ); 
add: if ( !timers.length ) { clearInterval( jQuery.timerId ); jQuery.timerId = null; } 
context: 			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);
meta: 2798	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2798/b9371a6ca4b756c4b4266a08336e80f715b66ad3/fx.js/clean/src/fx.js