Total extensions: 7904