Currently 1 United States dollar equals 19.25 Mexican pesos. If you exchanged 725 Mexican pesos for US dollars, what amount would u receive in US dollars?