INDONESIA PRIMA PROPERTY TBK的流通股。