115 billion dinars