Total extensions: 7825