Text this: Number of employees in Federal executive civil service on June 30, 1916, and on July 31, 1920.