Five CDs cost $80. If each CD costs the same, how much does one cost?