Total extensions: 7882