om 13,000 man Haitschengmen