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