in Music, is the twelfth or the fifth doubled.