af fienden , 9,000 man.