Total extensions: 7887