@whatagreattime: Oh, 7,000 infantry,