Islamic Development Bank Sukuk increased to 25B $US