Total extensions: 7926