About 7,000 AIDS cases have been reported in Indonesia , although the real figure is believed to be much higher .