($1 = 15,710.0000 rupiah)

(Reporting by Stefanno Sulaiman)