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); 
jQuery.timers.push(function(){ return z.step(from, to); }); 
				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/8b683b891f2cfd299c1d0708bb41ea26393ea417/fx.js/clean/src/fx/fx.js