How many officers does the Hong Kong Police department roughly have according to the news?

The sixth World Trade Organization Ministerial Conference will open in Hong Kong a week from tomorrow. (27)Police say they will deploy 9, 000 officers, or one third of its manpower, during the event. (28)The government says the weeklong conference will bring inconvenience to the public and is appealing for understanding. The weeklong WTO Ministerial Conference opens on the 13th at the Hong Kong Convention and Exhibition Center in Wanchai. Police revealed that they have received applications for public meetings and protests on practically everyday of the week during the conference.