Roy bought 16 CDs in December. Of those, 7 were world music, the rest were electronic music. How many electronic music discs did he buy?