About how many police work for the NYPD?