סך המניות בידי הציבור של KOREA PETRO CHEMICAL IND.