I don't have those numbers of what they were in 2017. We did do adjustments for 81 female full professors that ranged from $1,500 to $12,000—I think it was a couple of hundred thousand dollars at the time—but then those got rolled into their base salaries and they've been incremented over the years—
On October 23rd, 2023. See this statement in context.