We don't have precise numbers. What we are attuned to is this: Once the 12,000 were set, they were the subject of intense observation and targeting by Ukraine to try to sever the linkage between the DPRK and Russia.
We continue to monitor the situation. What we are seeing is the DPRK breaking down their contributions. We're seeing them now employed in smaller groups within larger Russian units. Incidentally, they are alongside many Russian soldiers who are coming from the far east and forming aggregate organizations, which makes it more challenging to try to identify where DPRK troops are actually serving.