The expenses for the Gulf war
		40 billion US dollars
			or 42 billion euros