Total extensions: 7972