personer och polisväsendet 14 , 000 , deribland 12.000 polisbetjenter.