Boris has 20 CDs in his music collection. Given that 20% of the CDs are rock music and 60 % of the CDs are pop music, how many CDs are other type of music? Show your work,