$ 0 0 Les recettes de ce budget sont fixées à 7,5 milliards de dollars américains. Un chiffre qui représente une augmentation de 1,3% par rapport à 2012.