[frumper]

Yes, that is a good point. Staff employed by the hospitals are included. UC Davis alone is more than 10 thousand employees. I'd imagine a few of the other UC hospitals are also significant portions of that support staff.