Indeks Harga Saham Gabungan (IHSG) 9 Juli-9 Agustus 2023