What time is it in diamantina?

Diamantina, Minas Gerais BRA | 9:12 AM