Total extensions: 7925