I didn't check your math but yes those 19 banks bought $251,565,000 (US dollars worth) of dinar from the CBI.