Total extensions: 7935