IHSG di pekan terakhir Mei 2023 ditutup merah, tetapi investor asing justru cetak net buy jumbo Rp1,7 triliun. Apa saja, saham yang masuk daftar belanja asing?