 by the police officers, and they were running battles with police officers at the same time. And as time went by, it got worse. And that's from midday all the way to around 5, 6 in the evening when crowds got larger and more police was deployed. And at that time, military was already in the central business district.