fängarnes antal till 9,000 man.