10 500 tons — 20,000 hkr.