000 public service workers