Total extensions: 7885