If the foreign exchange rate between the U.S. dollar and the Danish krone is 1:2.50, how many Danish kroner will you get for $5?