The Board of Governors, in turn, elect among themselves the twelve members of the Board of Directors and their deputies.
Dewan Gubernur, pada gilirannya, memilih dari mereka sendiri dua belas anggota dari Dewan Direktur (bahasa Inggris: Board of Directors) dan deputi mereka.