Total extensions: 7932