in music, is the twelfth, or the fifth doubled.