Total extensions: 7928