in music, is the twelfth or the fifth doubled.