How many dollars?