animFn = function(/* Decimal */value){ args.window.scrollLeft = value[0]; args.window.scrollTop = value[1]; 
animFn = function(/* Decimal[] */value){ args.win.scrollLeft = value[0]; args.win.scrollTop = value[1]; 
		animFn = function(/* Decimal */value){			args.window.scrollLeft = value[0];			args.window.scrollTop = value[1];		};
5168	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5168/4f8e049fbc9418d96b885e1a65e5ba95185ff991/scroll.js/clean/fx/scroll.js