David, Amy, and Kim went to an amusement park during their summer vacation. David spent $12.50 at the amusement park. Amy spent 3 times as much money as David spent. How much did Amy spend?