Total extensions: 7921