Total extensions: 7924