A development fund of about 18 trillion dinars