Total extensions: 5,248