How many people work in University of Oklahoma