Total extensions: 7889