six thousand additional police personnel.