Total extensions: 7910