One day in October 2005, you could exchange $3 for about 2.5 euros. How many dollars would you have needed to get 8 euros?