Total extensions: 7896