Всего выпущено обыкновенных акций на Gulf Cement Co.