Total extensions: 7884