i Washington är 31,000 man.