Total extensions: 7930