Total extensions: 7823