Total extensions: 7976