Total extensions: 7828