13 and cat exist as both .mus and .ogg files.

If you go into .minecraft/resources/streaming, you'll find several .mus files with names corresponding to music discs (and also an additional one called "where are we now.mus", for some reason). However, you'll also find two .ogg files labeled "13.ogg" and "cat.ogg".