Total extensions: 7975