10,500 tons — 20,000 hkr.