Total extensions: 7977