Total extensions: 7971