Total extensions: 7920