סך המניות בידי הציבור של PT Vale Indonesia TBK.