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); 
			jQuery.timers.push(function(){				return z.step(from, to);			});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/9b5363b9eb197515e31589894c945dfd70b8b93b/fx.js/clean/src/fx/fx.js