As I said, that can vary from one day to the next. It is often difficult to pin down a precise figure because there is always turnover. Some positions are not staffed, some people retire, and others are promoted. In any case, there are about 170 employees.
On May 8th, 2014. See this statement in context.