Total extensions: 7934