Total extensions: 7821