平均基本流通股数的HENSEL DAVEST INDONESIA TBK。