Total extensions: 7878