ATLANTIS SUBSEA INDONESIA的流通股。