It seems to be 25 reais after all.