och Kochinchina : 65,000 man och 800 millioner mark.