infdec7 but short | ScratchStats