4 million in the operation of the White House since 1993.
The White House has had 4 million operatives since 1993.